The lambda calculus : its syntax and semantics - Barendregt, Henk 1947- (Studies in logic and the foundations of mathematics ;, 1998)