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