Infinite Normal Forms for the Lambda-Calculus and Semantics of Programming Languages

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