systems of sufficient statistics. Lecture Notes in Statistics, 49. Springer-Verlag, New York, 1988. xvi+268 pp. Foundations of mathematics, logic, and computer science Per Martin-Löf. A theory of types. Preprint, Stockholm University, 1971. Per Martin-Löf. An intuitionistic theory of types. In G. Sambin and J. Smith, editors, Twenty-Five Years of Constructive Type Theory. Oxford University Press, 1998. Reprinted version of an unpublished report from 1972. Per Martin-Löf. An intuitionistic theory of types: Predicative part. In H. E. Rose and J. C. Shepherdson, editors, Logic Colloquium ‘73, pages 73–118. North Holland, 1975. Per Martin-Löf. Constructive mathematics and computer programming. In Logic, Methodology and Philosophy of Science VI, 1979. Eds. Cohen, et al. North-Holland, Amsterdam. pp. 153–175, 1982. Per Martin-Löf. Intuitionistic type theory. (Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980). Napoli, Bibliopolis, 1984. Per Martin-Löf. Philosophical implications of type theory, Unpublished notes, 1987? Per Martin-Löf. Substitution calculus, 1992. Notes from a lecture given in Göteborg. Bengt Nordström, Kent Petersson, and Jan M. Smith. Programming in Martin-Löf's Type Theory. Oxford University Press, 1990. (The book is out of print, but a free version has been made available.) Per Martin-Löf. On the Meanings of the Logical Constants and the Justifications of the Logical Laws. Nordic Journal of Philosophical Logic, 1(1): 11–60, 1996. Per Martin-Löf. Logic and Ethics. In T. Piecha and P. Schroeder-Heister, editors, Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019, pages 227-235. URI: http://dx.doi.org/10.15496/publikation-35319. University of Tübingen 2019. External links Members of the Royal Swedish Academy of Sciences Members of Academia Europaea Mathematical logicians Swedish logicians Swedish statisticians 20th-century Swedish philosophers 21st-century Swedish philosophers Swedish information theorists 20th-century Swedish mathematicians 21st-century Swedish mathematicians Academic staff of Stockholm University Birdwatchers Swedish ornithologists 1942 births Living people Tarski lecturers Gödel Lecturers