Explore Books on
lambda calcul

Elements of functional programming

By Chris Reade

Programmer avec Scheme

By Jacques Chazarain

Introduction à la théorie des langages de programmation

By Bertrand Meyer

Logique et fondements de l'informatique

By Richard Lassaigne

Logics of programs

By Rohit Parikh