Lambda calculus, types and foundations of programming languages

GU 2026/2552

Main reference for the students (handbook): Lectures on the Curry-Howard Isomorphism, by Morten Heine Sørensen, Pawel Urzyczyn (2006).

Reference on lambda calculus and simple types (handbook): Lambda-Calculus and Combinators - An Introduction, by J. Roger Hindley and Jonathan P. Seldin (2006).

Reference on PCF and domains (handbook): Domains and Lambda-Calculi, byDi Roberto M. Amadio, Pierre-Louis Curien (1998).