Basic simple type theory / J. Roger Hindley [ Livre]
Langue: Anglais ; de l'oeuvre originale, Anglais.Publication : Cambridge : Cambridge University Press, 1997Description : XI-186 pages ; 24 cmISBN: 0521465184.Collection: Cambridge tracts in theoretical computer science, 42Classification: 004.16 Logique mathématiqueSujet - Nom commun: Types, Théorie des | Langages de programmation| Current location | Call number | Status | Notes | Date due | Barcode |
|---|---|---|---|---|---|
| ENS Rennes - Bibliothèque Informatique | 004.16 HIN (Browse shelf) | Available | 004.16 Logique mathématique | 00002488 |
Bibliogr. p. 169-176