A new proof of the Church-Rosser theorem. Offprint. Mimeograph errata slip laid in

Curry, Haskell

Publication Date: 1952

About this Item

Curry, Haskell B. (1900-1982). A new proof of the Church-Rosser theorem. Offprint from Konikl. Nederl. Akademie van Wetenschappen Amsterdam, 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 theorem which proves pure -calculus consistent precedes 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." . Seller Inventory # 51667

Bibliographic Details

Title: A new proof of the Church-Rosser theorem. ...

Publication Date: 1952

Binding: Soft cover

Edition: 1st Edition