# Extraction de programmes dans le calcul des constructions

> Fiche œuvre du catalogue https://superlivre.fr/livre/extraction-de-programmes-dans-le-calcul-des-constructions-cb366348183 (données du dépôt légal BnF).

- **Auteur** : [Christine Paulin-Mohring](https://superlivre.fr/auteur/christine-paulin-mohring-cb127311970) (1962–)
- **Première parution** : 1989
- **Langue** : français
- **Genres** : [Langages de programmation](https://superlivre.fr/genre/langages-de-programmation-cb13318353n), [Mathématiques constructives](https://superlivre.fr/genre/mathematiques-constructives-cb119469160)
- **Éditions recensées** : 1 (1989–1989)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1989 | [INRIA, Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/inria-institut-national-de-recherche-en-informatique-et-en-automatique) | [Le Chesnay] | 228 | 2-7261-0571-8 |