# Logiques, catégories et machines : implantation de langages de programmation guidée par la logique catégorique

> Fiche œuvre du catalogue https://superlivre.fr/livre/logiques-categories-et-machines-cb34935229k (données du dépôt légal BnF).

- **Auteur** : [Yves Lafont](https://superlivre.fr/auteur/yves-lafont-cb12075809d) (1961–)
- **Première parution** : 1988
- **Langue** : français
- **Genres** : [Catégories (mathématiques)](https://superlivre.fr/genre/categories-mathematiques-cb11940303j), [Informatique](https://superlivre.fr/genre/informatique-cb11932109b), [Langages de programmation fonctionnelle](https://superlivre.fr/genre/langages-de-programmation-fonctionnelle-cb11982287f), [Logique mathématique](https://superlivre.fr/genre/logique-mathematique-cb11965690r)
- **Éditions recensées** : 2 (1988–1988)

## Résumé

Résumé en français

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1988 | [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) | [Le Chesnay] | 124 | 2-7261-0515-7 |
| 1988 | [ANRT](https://superlivre.fr/editeur/anrt) | Grenoble 2 |  |  |