Type Theory and Lambda Calculus
10 credits
Reading list, Master's level, 1MA059
A revised version of the reading list is available.
Main group 1
- Hindley, James Roger; Seldin, Jonathan Paul r aut, Introduction to combinators and -calculus, Cambridge, Cambridge Univ. Press, 1986
- Coquand, T. et al., Type-theoretic foundation for constructive mathematics (Kompendium)