Per Martin-Löf

- Martin-Löf’s 1972 paper “An intuitionistic theory of types” [PDF]
- Martin-Löf’s 1979 paper “Constructive Mathematics and Computer Programming” [PDF]

category: people

Last revised on October 17, 2018 at 11:09:03. See the history of this page for a list of all contributions to it.