Abstracts.2021.Meaning

Martin-Löf's Meaning Explanations

by Peter Dybjer

Abstract

TBA

Lecture material

TBA

Related talks

• Abraham Wolk. Constructive Mathematics and Computer Programming. 2019.

Bibliography

1. Per Martin-Löf. Constructive Mathematics and Computer Programming. Logic, Methodology and Philosophy of Science VI (Hannover, 1979), pp. 153–175. Studies in Logic and the Foundations of Mathematics 104, 1982.
2. Per Martin-Löf. Intuitionistic Type Theory. Studies in Proof Theory 1, 1984.
3. Peter Dybjer. Program Testing and the Meaning Explanations of Intuitionistic Type Theory. Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf, pp. 215-241. Logic, Epistemology, and the Unity of Science 27, 2012.
4. Peter Dybjer and Erik Palmgren. Intuitionistic Type Theory. The Stanford Encyclopedia of Philosophy 2020 (Summer Edition), 2020.