new proof church rosser theorem offprint von curry haskell (1 Ergebnisse)

Curry, Haskell B. (1900-1982). A new proof of the Church-Rosser theorem. Offprint from Konikl. Nederl. Akademie van WetenschappenAmsterdam, Proceedings, series A, 55 (1952). 16-23pp. Mimeographed errata slip laid in. 260 x 182 mm. Without wrappers as issued. Slight creasing but very good. First Edition, Offprint Issue. Curry's paper containing his new proof of the Church-Rosser theoremwhich proves pure -calculus consistentprecedes by six years the proof he and Feys published in their major textbook Combinatory Logic (1958). Our copy includes the errata slip noting that "Professor M. H. A. Newman has called attention to the fact that the condition J2 does not apply to the lambda calculus. On account of this fact, the theorem in question, although presumably correct, does not have the intended application." .