| Titre : | Lambda-calcul : types et modeles |
| Auteurs : | Jean-Louis Krivine |
| Type de document : | texte imprimé |
| Editeur : | Masson Paris., 1990 |
| Collection : | E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 |
| ISBN/ISSN/EAN : | 978-2-225-82091-5 |
| Format : | 176 p. / couv. ill. en coul. / 25 cm. |
| Langues: | Français |
| Index. décimale : | 511-Principes généraux des mathématiques |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| DST001274 | 511-07 | Livre | Bibliothèque des Sciences Exactes | 3-Mathématiques | Consultation sur place Exclu du prêt |
Aucun avis, veuillez vous identifier pour ajouter le vôtre !
Accueil
