Lectures on the Curry-Howard isomorphism - Sorensen Morten Heine; Urzyczyn Pawel (Amsterdam Elsevier, 2006)
Keywords: Curry-Howard isomorphism; Lambda calculus; Proof theory