Alternative axiomatizations of models of the Lambda-calculus
By: D. Cooperstock.
Publisher: University of Toronto, Dept. of Computer Science
Published: 1981
Place of publication: Toronto [Ont.]
Language: eng
Number of pages: 72
Subjects: Lambda calculus
Notes: Thesis (M.Sc.)--University of Toronto.

Bibliography: p. 71-72.