Introduction to Type Theory
5 items
Types vs. sets (and what about categories?)
L Paulson
lawrencecpaulson.github.io
Article
Type Theory
2018Stanford Encyclopedia of Philosophy
Article
Constructive mathematics and computer programming
P. Martin-Löf
1984Phil. Trans. R. Soc. Lond. A
Paper
The Calculus of Constructions
T. Coquand, G. Huet
1988Inf. Comput.
Paper
On Logical Formalisms
L Paulson
lawrencecpaulson.github.io
Article