Tree @master (Download .tar.gz)
Books.md @master — view markup · raw · history · blame
Lambda Calculus Books
The Calculi of Lambda-Conversion
- authors: Alonzo Church
- date: 1941
- borrow-with-print-disabilities @ archive.org
- online @ archive.org
- online @ archive.org
Alonzo Church's 1941 exposition of the lambda calculus. An excerpt from this book can be found at http://www.jfsowa.com/logic/alonzo.htm.
Introduction to Combinators and the Lambda Calculus
- authors: J. Roger Hindley, Jonathan P. Seldin
- date: 1986
- borrow @ archive.org
.