[[nlab:Per Martin-Löf]] * Martin-Löf's 1972 paper "[An intuitionistic theory of types](http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.131.926&rep=rep1&type=pdf)" [PDF] * Martin-Löf's 1979 paper "[Constructive Mathematics and Computer Programming](http://www.cs.tufts.edu/~nr/cs257/archive/per-martin-lof/constructive-math.pdf)" [PDF] category: people