# Une Théorie des constructions

> Fiche œuvre du catalogue https://superlivre.fr/livre/une-theorie-des-constructions-cb361099888 (données du dépôt légal BnF).

- **Auteur** : [Thierry Coquand](https://superlivre.fr/auteur/thierry-coquand-cb130696208)
- **Première parution** : 1985
- **Langue** : français
- **Éditions recensées** : 1 (1985–1985)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1985 | [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) | 78-Rocquencourt | 90 | 2-7261-0412-6 |