The lambda calculus, its syntax and semantics. Number 103 (1984)

by Henk Barendregt
Venue:in Studies in Logic and the Foundations of Mathematics. North-Holland