# Lambda-calcul : types et modèles

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

- **Auteur** : [Jean-Louis Krivine](https://superlivre.fr/auteur/jean-louis-krivine-cb12162908k) (1939–)
- **Première parution** : 1990
- **Langue** : français
- **Genres** : [Lambda-calcul](https://superlivre.fr/genre/lambda-calcul-cb119586908)
- **Éditions recensées** : 1 (1990–1990)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1990 | [Masson](https://superlivre.fr/editeur/masson) | Paris. - Milan. - Barcelone | 176 | 2-225-82091-0 |