The lambda calculus : ITS SYNTAX AND SEMANTICS. VOL.103. - Barendregt, H.P. (Elsevier Science Ireland Ltd., 2004)