The Lambda Calculus: its Syntax and Semantics (revised ed (1984)

by H P Barendregt
Venue:Studies in Logic and the Foundations of Mathematics