Per Martin-Löf (changes)

Showing changes from revision #2 to #3:
Added | ~~Removed~~ | ~~Chan~~ged

- 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.