The Lambda Calculus: Its Syntax and Semantics (1984)

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