martin-lof

Papers of Per Martin-Löf. Please inform me of others. They are generally a nightmare to lay hold of.

Paper	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
A note to Michael Dummett	1976
Exact tests, confidence regions and estimates	1977
Constructive mathematics and computer programming (Tech report)	1979
Intuitionistic Type Theory (Bibliopolis Book) (Re-typeset and searchable version)	1980
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
The logic of Judgements	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	1990
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