LECTURES ON THE CURRY-HOWARD ISOMORPHISM - Sorensen,Morten Heine; Urzyczyn,Pawel (Elsevier, Amsterdam, 2006)
Keywords: Curry-Howard Isomorphism; Lambda Calculus; Proof Theory