The lambda calculus : ITS SYNTAX AND SEMANTICS. VOL.103 - Barendregt, H.P (Studies in Logic and the Foundation of Mathematics / North-Holland Publishing Company., 2004)