SSemantics and pragmatics of the lambda-calculusSemantics and pragmatics of the lambda-calculusde Christopher P. WadsworthEdiciones (1)Semantics and pragmatics of the lambda-calculus (1971)inglés