Geometry.Net - the online learning center  
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




Clones and Genoids

web metrics