Need help with martin-lof?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

553 Stars 55 Forks 54 Commits 11 Opened issues


papers of Per Martin Löf

Services available


Need anything else?

Contributors list

The collected works of Per Martin-Löf

Please inform us of any inaccuracies or missing works.

| Title | Date | |:------|:----:| |Definition of Random Sequences| 1966 | |Algorithms and randomness | 1969 | |Notes on constructive mathematics (Almqvist & Wiksell)| 1970 | |A theory of types (Preprint, Stockholm University)| 1971 | |Hauptsatz for the intuitionistic theory of iterated inductive definitions| 1971 | |Complexity Oscillations in Infinite Binary Sequences | 1971 | |Infinite terms and a system of natural deduction| 1972 | |An Intuitionistic Theory of Types| 1972 | |The Notion of Redundancy and Its Use as a Quantitative Measure of the Discrepancy between a Statistical Hypothesis and a Set of Observational Data | 1974 | |An Intuitionistic Theory of Types: Predicative Part (Proceedings of the logic colloquium Bristol, July 1973) | 1975 | |About Models for Intuitionistic Type Theories and the notion of Definitional Equality| 1975 | |Syntax and semantics of the language of primitive recursive functions (Preprint written with Peter Hancock)| 1975 | |Reply to Sverdrups Polemical Article Tests without Power| 1975 | |A note to Michael Dummett| 1976 | |Exact tests, confidence regions and estimates | 1977 | |Constructive mathematics and computer programming (Tech report)| 1979 | |Constructive mathematics and computer programming (Version 2) (Tech report)| 1979 | |Constructive mathematics and computer programming| 1982 | |On the Meanings of the Logical Constants and the Justification of Logical Laws| 1983 | |Notes on The Domain Interpretation of Type Theory| 1983 | |Intuitionistic Type Theory (Bibliopolis Book, notes by Giovanni Sambin of a series of lectures given in Padua, June 1980) (Re-typeset and searchable version)| 1984 | |The logic of Judgements | 1987 | |The logic of Judgements (typeset) | 1987 | |Truth of a Proposition, Evidence of a Judgment, Validity of a Proof| 1987 | |Philosophical implications of type theory (Lectures given at the Facoltà di Lettere e Filosofia, Universitá degli Studi di Firenze, Florence, March 15th - May 15th, Privately circulated notes)| 1987 | |Mathematics of Infinity| 1990 | |A path from logic to metaphysics (typescript) | 1990 | |A path from logic to metaphysics | 1991 | |Substitution calculus (Notes from a lecture given in Göteborg)| 1992 | |Analytic and Synthetic Judgements in Type Theory| 1994 | |Truth and Knowability: On the Principles C and K of Michael Dummett| 1998 | |Hilbert Brouwer Controversy Resolved?| 2008 | |Are the objects of propositional attitudes propositions in the sense of propositional and predicate logic? | 2003 | |Normalization by Evaluation and by the Method of Computability (Talk at JAIST, Kanazawa) | 2004 | |One hundred years of Zermelo's axiom of choice. What was the problem with it?| 2009 | |Verificationism Then and Now| 2013 | |Making sense of normalization by evaluation (Talk given at a workshop on Type theory and formalization of mathematics in Gothenburg, December 11th) | 2014 |

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.