The Lambda Calculus: Its Syntax and Semantics, volume 103 (1980)

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