P
Per Martin-Löf
Researcher at Stockholm University
Publications - 24
Citations - 5364
Per Martin-Löf is an academic researcher from Stockholm University. The author has contributed to research in topics: Type theory & Intuitionistic type theory. The author has an hindex of 17, co-authored 24 publications receiving 5216 citations.
Papers
More filters
Book
Intuitionistic type theory
TL;DR: These lectures were given in Padova and Munich later in the same year as part of the meeting on Konstruktive Mengenlehre und Typentheorie which was organized in Munich by Prof. Helmut Schwichtenberg.
Journal ArticleDOI
The definition of random sequences
TL;DR: It is shown that the random elements as defined by Kolmogorov possess all conceivable statistical properties of randomness and can equivalently be considered as the elements which withstand a certain universal stochasticity test.
Book ChapterDOI
An Intuitionistic Theory of Types: Predicative Part
TL;DR: The theory of types as mentioned in this paper is a full-scale system for formalizing intuitionistic mathematics as developed, which allows proofs to appear as parts of propositions so that the propositions of the theory can express properties of proofs.
Book ChapterDOI
Constructive mathematics and computer programming
TL;DR: This chapter discusses that relating constructive mathematics to computer programming seems to be beneficial, and that it may well be possible to turn what is now regarded as a high level programming language into machine code by the invention of new hardware.
Journal ArticleDOI
Constructive mathematics and computer programming
TL;DR: If programming is understood not as the writing of instructions for this or that computing machine but as the design of methods of computation that it is the computer’s duty to execute, then it no longer seems possible to distinguish the discipline of programming from constructive mathematics.