The lambda calculus: its syntax and semantics - Barendregt, H. P. (Hendrik Pieter) (Studies in logic and the foundations of mathematics, 1984)