Lambda-calcul : types et modèles
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Livre papier |
| Idioma: | Français |
| Publicado: |
Paris ; Milan ; Barcelone [etc.] :
Masson
1990.
|
| Series: | Etudes et recherches en informatique
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
Orléans - BU Sciences Technologies STAPS
| Localización | Número de Clasificación | Type de prêt | Statut | |
|---|---|---|---|---|
| ex. 1 | Magasin | F11420 | Dispoñible |
Orléans - Bibliotheque de l'Institut Denis Poisson (Ex MAPMO)
| Notes: |
A demander à la BU Sciences |
|---|
| Localización | Número de Clasificación | Type de prêt | Statut | |
|---|---|---|---|---|
| Salle de lecture | 5143 KRI | Dispoñible |