| Name | Last modified | Size | |
|---|---|---|---|
 | Parent Directory | ||
 | A Tutorial Introduction to the Lambda Calculus.pdf | 2022-02-22 06:24 | 90 KB |
| Introduction to Lambda Calculus (Revised edition). Henk Barendregt, Erik Barendsen (December 1998, March 2000).pdf | 2022-02-22 06:24 | 256 KB |
| Lambda Calculi with Types - Barendregt H. 1992.ps | 2022-02-22 06:24 | 975 KB |
| Lambda Calculi With Types.pdf | 2022-02-22 06:24 | 1023 KB |
| Lambda Calculus with Types - Henk Barendregt, Wil Dekkers, Richard Statman 2013.pdf | 2022-02-22 06:24 | 4507 KB |
| Lambda Calculus. Types and Models. Jean-Louis Krivine (Translated from french by René Cori).pdf | 2022-02-22 06:24 | 1167 KB |
| Solving Higher-Order Equations - From Logic to Programming - Christian Prehofer 1998.djvu | 2022-02-22 06:24 | 1514 KB |
| The Lambda Calculus. Its syntax and semantics. Hendrik Pieter Barendregt (1984).djvu | 2022-02-22 06:24 | 6270 KB |