The Lambda calculus, its syntax and semantics. - North-Holland Publishing Comp., 1981. - ( Studies in Logic ; 103).