# Yves Lafont

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

- **Dates** : 1961–
- **Occupation** : mathématicien
- **Nationalité** : France
- **Œuvres au catalogue** : 1 (1988–1988)
- **Pagination médiane** : 124 pages
- **Wikidata** : https://www.wikidata.org/wiki/Q102287981
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb12075809d

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1988 | [Logiques, catégories et machines](https://superlivre.fr/livre/logiques-categories-et-machines-cb34935229k) | [Institut national de recherche en informatique et en automatique](https://superlivre.fr/editeur/institut-national-de-recherche-en-informatique-et-en-automatique) | 124 |

## Éditeurs principaux

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