The Lambda Calculus: Its Syntax and Semantics. Number 103 (1984)

by H P Barendregt
Venue:in Studies in Logic and the Foundations of Mathematics. North-Holland, revised edition