| |
| Home - Lambda Calculus: Online Books | |
|
| |
| Home - Lambda Calculus: Online Books | |
-------------------------------------
| Jean-Louis Krivine | Lambda-calculus, types and models Ellis Horwood (1993) (online veersion 13/02/2008). |
| Andrea Asperti. Giuseppe Longo. |
CATEGORIES TYPES AND STRUCTURES An Introduction to Category Theory for the working computer scientist. FOUNDATIONS OF COMPUTING SERIES. M.I.T. PRESS, 1991 |
| Samson Abramsky, Achim Jung |
Domain Theory (1994) Handbook of Logic in Computer Science Volume 3 |