| Année | Titre | Éditeur | Pages |
|---|---|---|---|
| 1985 | Une Théorie des constructions | Institut national de recherche en informatique et en automatique | 90 |
Auteurs ayant un livre paru la même année chez un éditeur de Thierry Coquand.
| Auteur | Contexte(s) | Croisements |
|---|---|---|
| Philippe Wolf | Institut national de recherche en informatique et en automatique (1985) | 1 |
| Tomás Chacón Rebollo | Institut national de recherche en informatique et en automatique (1985) | 1 |
| Joseph La Chimia | Institut national de recherche en informatique et en automatique (1985) | 1 |
| Institut national de recherche en informatique et en automatique (1985) |
| 1 |
| Mario Juaçaba Teixeira | Institut national de recherche en informatique et en automatique (1985) | 1 |
| Serge Abiteboul | Institut national de recherche en informatique et en automatique (1985) | 1 |
| Ahmedou Haouba | Institut national de recherche en informatique et en automatique (1985) | 1 |
| Odile Tissier | Institut national de recherche en informatique et en automatique (1985) | 1 |