Semantics and pragmatics of the lambda calculus (1971)

by C P Wadsworth