[SU06] “Lectures on the Curry-Howard Isomorphism” (Sorensen, Urzyczyn)

[Sel08] “Lecture notes on the lambda calculus”, Selinger, 2008.

[Bar84] “The Lambda Calculus: Its Syntax and Semantics”, Barendregd, 1984.

[NG14] “Type Theory and Formal Proof”, Nederpelt & Geuvers, 2014