Semantics and pragmatics of the lamda-calculus / by C.P. Wadsworth. - Wadsworth, C. P.