Bibliografia

Principal

• Lectures on the Curry-Howard Isomorphism: P. Urzyczyn, M. Sorensen 2005 Elsevier Science
• Fundamentos de Programação Funcional: C. Caleiro 2002 DMIST

Secundária

• Logic and Structure: D. van Dalen 1994 Springer-Verlag
• The Lambda Calculus: Its Syntax and Semantics: H. Barendregt 1985 North-Holland