Explore Books on
lambda-calcul

Typed lambda calculi and applications

By International Conference on Typed Lambda Calculi and Applications (7th 2005 Nara, Japan)

Lambda

By Jean-Louis Krivine

Introduction à la théorie des langages de programmation

By Bertrand Meyer

Logique et fondements de l'informatique

By Richard Lassaigne

Logic and computation

By Workshop on Logic and Computation (1987 Carnegie Mellon University)

Processes, terms and cycles

By Aart Middeldorp,Vincent van Oostrom