Ce dont on ne peut parler, il faut l'écrire

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 ?