| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| La machine de Turing | 978-2-02-036928-2 | 1999 | Alan Turing | |
| Le point aveugle: Cours de logique Tome 2, Vers l'imperfection | 978-2-7056-6634-7 | 2007 | ||
| Le Point Aveugle: Tome 1. Cours de Logique, Vers la perfection. | 978-2-7056-6633-0 | 2006 | ||
| Linear Logic in Computer Science | 978-0-521-60857-2 | 2004 | Thomas Ehrhard · Paul Ruet · Philip Scott | |
| Proofs and Types | 978-0-521-37181-0 | 1989 | Yves Lafont · Paul Taylor | |
| Proof theory and logical complexity | 978-88-7088-123-3 | 2007 | ||
| Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings | 978-3-540-65763-7 | 2008 | ||
J. G. · J. Girard · J. Y · Jean Girard · Jean-Yves · Yves Girard
Bibliopolis · Cambridge University Press · Hermann · Seuil · Springer