Basic simple type theory / Hindley, J. Roger

Public ISBD 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 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 science Mots-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 : Cambridge University Press, 1997 . - xi - 186 p.. - (Cambridge Tracts in Theoretical Computer Science; 42) . ISBN : 978-0-521-46518-2 Langues : Anglais 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 science Mots-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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13413	03C01	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Domains and lambda-calculi / Roberto M. Amadio

Public ISBD Titre : Domains and lambda-calculi Type de document : texte imprimé Auteurs : Roberto M. Amadio ; Pierre-Louis Curien Editeur : Cambridge : Cambridge University Press Année de publication : 1998 Collection : Cambridge Tracts in Theoretical Computer Science num. 46 Importance : xvi - 484 p. ISBN/ISSN/EAN : 978-0-521-62277-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : semantic  combinatory logic Index. décimale : 68C Monographie Domains and lambda-calculi [texte imprimé] / Roberto M. Amadio ; Pierre-Louis Curien . - Cambridge : Cambridge University Press, 1998 . - xvi - 484 p.. - (Cambridge Tracts in Theoretical Computer Science; 46) . ISBN : 978-0-521-62277-6 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : semantic  combinatory logic Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13146	68C53	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

---

page 1/1