Reiji Nakajima
EECS Department
University of California, Berkeley
Technical Report No. UCB/ERL M525
June 1975
http://www2.eecs.berkeley.edu/Pubs/TechRpts/1975/ERL-m-525.pdf
Advisor: Richard Karp and James H. Morris, Jr.
BibTeX citation:
@phdthesis{Nakajima:M525, Author = {Nakajima, Reiji}, Title = {Infinite Normal Forms for the Lambda-Calculus and Semantics of Programming Languages}, School = {EECS Department, University of California, Berkeley}, Year = {1975}, Month = {Jun}, URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/1975/7370.html}, Number = {UCB/ERL M525} }
EndNote citation:
%0 Thesis %A Nakajima, Reiji %T Infinite Normal Forms for the Lambda-Calculus and Semantics of Programming Languages %I EECS Department, University of California, Berkeley %D 1975 %@ UCB/ERL M525 %U http://www2.eecs.berkeley.edu/Pubs/TechRpts/1975/7370.html %F Nakajima:M525