[8] Sørensen and Urzyczyn (2006)
Morten Heine Sørensen and Pawel Urzyczyn, 2006. “Lectures on the Curry-Howard isomorphism”. Volume 149. Elsevier. Chapter 5, "The Untyped Lambda Calculus".
Morten Heine Sørensen and Pawel Urzyczyn, 2006. “Lectures on the Curry-Howard isomorphism”. Volume 149. Elsevier. Chapter 5, "The Untyped Lambda Calculus".