Reiji Nakajima

EECS Department, University of California, Berkeley

Technical Report No. UCB/ERL M525

, 1975

http://www2.eecs.berkeley.edu/Pubs/TechRpts/1975/ERL-m-525.pdf

Advisors: 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