The Lambda calculus : : its syntax and semantics - Barendregt, H. P. (Studies in logic and the foundations of mathematics /J. Barwise ;, 1981)