# Thierry Coquand

> Fiche auteur du catalogue https://superlivre.fr/auteur/thierry-coquand-cb130696208 (données du dépôt légal BnF, enrichies Wikidata).

- **Œuvres au catalogue** : 1 (1985–1985)
- **Pagination médiane** : 90 pages
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb130696208

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1985 | [Une Théorie des constructions](https://superlivre.fr/livre/une-theorie-des-constructions-cb361099888) | [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) | 90 |

## Éditeurs principaux

- [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) — 1 œuvres