Domains and lambda-calculi [ Livre]
Langue: Français.Publication : Cambridge University Press, cop. 1998Description : 484 p.ISBN: 0521622778.Collection: Cambridge tracts in theoretical computer science, 46Classification: F 4 1 Logique mathématiqueSujet - Nom commun: Langages de programmation -- Mathématiques | Lambda-calcul| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | F 4 1 AMA (Browse shelf) | Available | F 4 1 Logique mathématique | 00007603 |