Typteori och lambdakalkyl
10 hp
Litteraturlista, Avancerad nivå, 1MA059
Det finns en senare version av litteraturlistan.
Huvudgrupp 1
- Hindley, James Roger; Seldin, Jonathan Paul r aut, Introduction to combinators and -calculus, Cambridge, Cambridge Univ. Press, 1986
- Coquand, T. m.fl., Type-theoretic foundation for constructive mathematics (Kompendium)