Publication View

An extension of the basic functionality theory for the $\lambda$-calculus. (1980)

Publication details

Download	http://ProjectEuclid.org/getRecord?id=euclid.ndjfl/1093883253
Publisher	University of Notre Dame
Repository	Project Euclid (Hosted at Cornell University Library) (United States)
Keywords	03B40 (MSC)
Type	text
Language	Englisch