The Lambda Calculus: its syntax and semantics," Number 103 (1994)

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