J. Roger Hindley, 2nd Homepage

Supplement to main homepage, which is on the Swansea University website at this address.

Files for Downloading

These are PDF files, and require Adobe Acrobat or Acrobat Reader. They are available for personal use, not for re-distribution or for commerce or financial profit. Their copyright belongs to their authors.

For book "Basic Simple Type Theory" (published by Cambridge University Press, 1997 and 2008):

Errata-list (produced by the author).

For book "Lambda-calculus and Combinators, an Introduction" (co-author J. P. Seldin, published by Cambridge University Press, 2008):

Errata-list (produced by the authors).

Supplement "Goedel's Consistency-proof for Arithmetic" (a revised version of Chapter 18 in the 1986 edition, which was omitted from the present edition due to lack of space.)

For article "Lambda-calculus and Combinators in the 20th Century" (co-author F. Cardone; in "Handbook of the History of Logic", "Volume 5: Logic from Russell to Church", pp. 723--817; edited by D. M. Gabbay and J. Woods, published by Elsevier (North-Holland), Amsterdam, 2009:

Errata-list (produced by the authors);

Contents page (produced by the authors);

Preprint version of article (date 2006; from Swansea University Mathematics Research Report No. MRRS-05-06 "History of Lambda-calculus and Combinatory Logic"; differs from published article in a few passages).

Ph.D. thesis: available on Pierre Lescanne's website of historical sources at the E.N.S., Lyon, France.

(Title: "The Church-Rosser Property and a Result in Combinatory Logic", Mathematics Department, University of Newcastle upon Tyne, England, 1964. Chapter 6 (now redundant) is omitted from this copy.)

Notes "Lambda-Calculus Conferences in the 1970s" plus Swansea 1979 conference group photo and its key to names .

Publications

See main homepage; also

Lambda Calculus. Article, co-author Mariangiola Dezani-Ciancaglini. In Wiley Encyclopedia of Computer Science and Engineering, Volume 3, pp. 1701--1708, edited by Benjamin Wah, published by Wiley, 2008.

Curry's last problem: Imitating lambda-beta-reduction in combinatory logic, PDF file, based on talks at Math. Logic Group, Shizuoka, 1998, and British Logic Colloquium, Gregynog, Wales, 1999. Published in: Proc. 32nd MLG Meeting, Shizuoka, Japan, November 26--28, 1998, pp. 20--22.