Metadata
- Key: martin-lof1984-mltt
- Type: reference
- Author: Per Martin-Lof
- Note: Lecture notes by Giovanni Sambin from a course held in Padua, 1980
- Publisher: Bibliopolis
- Address: Naples
- Year: 1984
Links
Semantic Scholar: https://www.semanticscholar.org/paper/Intuitionistic-type-theory-Martin-L%C3%B6f/dd300f101ae724a42ebf1cae51144eef5fc44e8f#cited-papers PDF: https://www.cse.chalmers.se/~peterd/papers/MartinL%C3%B6f1984.pdf