The Lambda-Calculus, its syntax and semantics (1984)

by H P Barendregt
Venue:Studies in Logic and the Foundation of Mathematics. Elsevier Science Publishers