Explore Books on
lambda calcul

Elements of functional programming

By Chris Reade

Logique et fondements de l'informatique

By Richard Lassaigne

Programmer avec Scheme

By Jacques Chazarain

Introduction à la théorie des langages de programmation

By Bertrand Meyer

Logics of programs

By Rohit Parikh