influential On the Meanings of the Logical Constants and the Justifications of the Logical Laws. The 1984 type theory was extensional while the type theory presented in the book by Nordström et al. in 1990, which was heavily influenced by his later ideas, intensional, and more amenable to being implemented on a computer. Martin-Löf's intuitionistic type theory developed the notion of dependent types and directly influenced the development of the calculus of constructions and the logical framework LF. A number of popular computer-based proof systems are based on type theory, for example NuPRL, LEGO, Coq, ALF, Agda, Twelf, Epigram, and Idris. Awards Martin-Löf is a member of the Royal Swedish Academy of Sciences and of the Academia Europaea. See also Franz Brentano Rudolf Carnap Michael Dummett Gottlob Frege Ulf Grenander Jaakko Hintikka Edmund Husserl Andrei N. Kolmogorov Anders Martin-Löf John von Neumann Peter Pagin Dag Prawitz Charles Sanders Peirce Frank P. Ramsey Bertrand Russell Dana Scott Alfred Tarski Alan Turing Notes References Bird watching and missing data George A. Barnard, "Gone Birdwatching", New Scientist, 4 December 1999, magazine issue 2215. Probability foundations Per Martin-Löf. "The Definition of Random Sequences." Information and Control, 9(6): 602–619, 1966. Li, Ming and Vitányi, Paul, An Introduction to Kolmogorov Complexity and Its Applications, Springer, 1997. Introduction chapter full-text. Probability on algebraic structures, following Ulf Grenander Grenander, Ulf. Probability on Algebraic Structures. (Dover reprint) Martin-Löf, P. The continuity theorem on a locally compact group. Teor. Verojatnost. i Primenen. 10 1965 367–371. Martin-Löf, Per. Probability theory on discrete semigroups. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 4 1965 78—102 Nitis Mukhopadhyay. "A Conversation with Ulf Grenander". Statist. Sci. Volume 21, Number 3 (2006), 404–426. Statistics foundations Anders Martin-Löf. 1963. "Utvärdering av livslängder i subnanosekundsområdet" ("Evaluation of lifetimes in time-lengths below one nanosecond"). ("Sundberg formula", according to Sundberg 1971) Per Martin-Löf. 1966. Statistics from the point of view of statistical mechanics. Lecture notes, Mathematical Institute, Aarhus University. ("Sundberg formula" credited to Anders Martin-Löf, according to Sundberg 1971) Per Martin-Löf. 1970. Statistika Modeller (Statistical Models): Anteckningar fran seminarier läsåret 1969–1970 (Notes from seminars in the academic year 1969–1970), with the assistance of Rolf Sundberg. Stockholm University. Martin-Löf, P. "Exact tests, confidence regions and estimates", with a discussion by A. W. F. Edwards, G. A. Barnard, D. A. Sprott, O. Barndorff-Nielsen, D. Basu and G. Rasch. Proceedings of Conference on Foundational Questions in Statistical Inference (Aarhus, 1973), pp. 121–138. Memoirs, No. 1,