Semantics and Pragmatics of the Lambda Calculus (1971)

by C Wadsworth