Cambridge University Press · Hermann · Seuil · Springer, Berlin
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| La machine de Turing | 978-2-02-036928-2 | 1999 | Alan Mathison 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 | |
| Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings | 978-3-540-65763-7 | 1999 | ||