2 résultat(s) recherche sur le mot-clé 'lambda-calculus'

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

Categorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien

Public ISBD Titre : Categorical combinators, sequential algorithms, and functional programming Type de document : texte imprimé Auteurs : Pierre-Louis Curien Mention d'édition : 2nd ed. Editeur : Birkhäuser Verlag Année de publication : 1993 Collection : Progress in Theoretical Computer Science. Importance : xx - 403 p. ISBN/ISSN/EAN : 978-0-8176-3654-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : categorical abstract machine  combinatory logic  lambda-calculus Index. décimale : 68C Monographie Categorical combinators, sequential algorithms, and functional programming [texte imprimé] / Pierre-Louis Curien  . -  2nd ed. . - [S.l.] : Birkhäuser Verlag, 1993 . - xx - 403 p.. - (Progress in Theoretical Computer Science.) . ISBN : 978-0-8176-3654-8 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus 03-XX Mathematical logic and foundations:03GXX Algebraic logic:03G30 Categorical logic, topoi 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : categorical abstract machine  combinatory logic  lambda-calculus Index. décimale : 68C Monographie

Exemplaires

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