# Résultats de confluence pour les règles fortes de la logique combinatoire catégorique et liens avec les lambda-calculs

> Fiche œuvre du catalogue https://superlivre.fr/livre/resultats-de-confluence-pour-les-regles-fortes-de-la-logique-combinatoire-catego-cb349323143 (données du dépôt légal BnF).

- **Auteur** : [Thérèse Accart Hardin](https://superlivre.fr/auteur/therese-accart-hardin-cb12273601z)
- **Première parution** : 1988
- **Langue** : français
- **Genres** : [Lambda-calcul](https://superlivre.fr/genre/lambda-calcul-cb119586908), [Logique combinatoire](https://superlivre.fr/genre/logique-combinatoire-cb119473722)
- **Éditions recensées** : 1 (1988–1988)

## É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 | 237 | 2-7261-0514-9 |