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)