Lambda calculi : a guide for computer scientists [ Livre] : / Chris, Hankin
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Oxford University Press, 1994Description : XIII-162 p.ISBN: 0198538405.Collection: Graduate texts in computer scienceClassification: F 4 1 Logique mathématiqueSujet - Nom commun: Lambda-calcul| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | F 4 1 HAN (Browse shelf) | Available | F 4 1 Logique mathématique | 00002853 |