The lambda calculus : its syntax and semantics - Barendregt, Henk 1947- (Studies in Logic and the Foundations of Mathematics, 1981)