A study of generalized standardization in combinatory logic
Part of the Lecture Notes in Mathematics book series (LNM, volume 500)
Unable to display preview. Download preview PDF.
- Morris, James Hiram Jr. Lambda calculus models of programming languages. Thesis, Massachusetts Institute of Technology, 1968.Google Scholar
© Springer-Verlag 1975