Church : a formulation of The simple theory of types

https://www.classes.cs.uchicago.edu/archive/2007/spring/32001-1/papers/church-1940.pdf

Cité par Joyal dans:

https://ncatlab.org/homotopytypetheory/files/Joyal.pdf

Voir aussi:

https://plato.stanford.edu/entries/type-theory-church/

https://www.cs.cmu.edu/~fp/talks/andrewsfest12.pdf

Advertisements
This entry was posted in homotopy type theory, Logique, Philosophie and tagged , . Bookmark the permalink.