A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Détail d'une collection
Collection Cambridge Tracts in Theoretical Computer Science
- Editeur : Cambridge University Press
- ISSN : pas d'ISSN
Documents disponibles dans la collection
Affiner la rechercheDomains and lambda-calculi / Amadio, Roberto M.
Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13146 68C53 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Basic simple type theory Type de document : texte imprimé Auteurs : Hindley, J. Roger Editeur : Cambridge : Cambridge University Press Année de publication : 1997 Collection : Cambridge Tracts in Theoretical Computer Science num. 42 Importance : xi - 186 p. ISBN/ISSN/EAN : 978-0-521-46518-2 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B20 Subsystems of classical logic (including intuitionistic logic)
03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer scienceMots-clés : polymorphic theories cit?dans... functional programming language intuitionistic logic type-checking algorithm type-assignment lambda-calculus type-theory Index. décimale : 03C Monographie Basic simple type theory [texte imprimé] / Hindley, J. Roger . - Cambridge University Press, 1997 . - xi - 186 p.. - (Cambridge Tracts in Theoretical Computer Science; 42) .
ISBN : 978-0-521-46518-2
Langues : Anglais (eng)
Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B20 Subsystems of classical logic (including intuitionistic logic)
03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer scienceMots-clés : polymorphic theories cit?dans... functional programming language intuitionistic logic type-checking algorithm type-assignment lambda-calculus type-theory Index. décimale : 03C Monographie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13413 03C01 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
