Lambda-calcul : types et modèles
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Livre papier |
| Sprache: | Français |
| Veröffentlicht: |
Paris ; Milan ; Barcelone [etc.] :
Masson
1990.
|
| Schriftenreihe: | Etudes et recherches en informatique
|
| Schlagworte: | |
| Autres localisations: | Voir dans le Sudoc |