Semantics and pragmatics of the lambda-calculus
By: Christopher P. Wadsworth
Contributors: University of Oxford
Published: 1971
Language: eng
Notes: Thesis (doctoral)--University of Oxford, 1971.