Semantics and pragmatics of the lamda-calculus
By: by C.P. Wadsworth.
Published: 1971
Language: eng