# Sémantique du temps et lambda-calcul

> Fiche œuvre du catalogue https://superlivre.fr/livre/semantique-du-temps-et-lambda-calcul-3292b9ec10b6 (données du dépôt légal BnF).

- **Auteur** : [Francis Renaud](https://superlivre.fr/auteur/francis-renaud-cb12198230w) (1944–)
- **Première parution** : 1996
- **Langue** : français
- **Genres** : [Lambda-calcul](https://superlivre.fr/genre/lambda-calcul-cb119586908), [Modèles mathématiques](https://superlivre.fr/genre/modeles-mathematiques-cb11956771s), [Sémantique](https://superlivre.fr/genre/semantique-cb119332582)
- **Éditions recensées** : 1 (1996–1996)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1996 | [Presses universitaires de France](https://superlivre.fr/editeur/presses-universitaires-de-france) | Paris | 252 | 2-13-047709-7 |