La Logica

Computation, proof, machine

Le temps des algorithmes

Proofs and Algorithms

Principles of programming languages

Proceedings of the Eleventh Workshop on Logical Frameworks and Meta-Languages

Rewriting and Typed Lambda Calculi

Introduction to the Theory of Programming Languages (Undergraduate Topics in Computer Science)

Les me tamorphoses du calcul

Peut-on croire les sondages?

Voulez-vous jouer avec les maths ?