# Un Système de calcul formel pour expression combinatoire ou lambda-expression : application aux termes linéaires et ordonnés

> Fiche œuvre du catalogue https://superlivre.fr/livre/un-systeme-de-calcul-formel-pour-expression-combinatoire-ou-lambda-expression-cb37593724q (données du dépôt légal BnF).

- **Auteur** : [Nelly Girard](https://superlivre.fr/auteur/nelly-girard-cb12873209n)
- **Première parution** : 1986
- **Langue** : français
- **Éditions recensées** : 1 (1986–1986)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1986 | [ANRT](https://superlivre.fr/editeur/anrt) | Grenoble |  |  |