A partir de cette page vous pouvez :
| Retourner au premier écran avec les étagères virtuelles... |
Catégories
> 68-XX Computer science > 68QXX Theory of computing > 68Q55 Semantics Voir aussi :
03B70 Logic in computer science / 06B35 Continuous lattices and posets, applications / 
18C50 Categorical semantics of formal languages 
Affiner la rechercheCategorical combinators, sequential algorithms, and functional programming / Pierre-Louis Curien
Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13096 68C49 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Categories, types, and structures : an introduction to category theory for the working computer scientist Type de document : texte imprimé Auteurs : Asperti, Andrea ; Longo, Giuseppe Editeur : Cambridge, MA : The Mit Press Année de publication : 1991 Collection : MIT Press Series in the Foundations of Computing Importance : vii, 293 p. ISBN/ISSN/EAN : 978-0-262-01125-9 Note générale : Copie Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68QXX Theory of computing:68Q55 SemanticsMots-clés : functor natural transformations recursive domain equations second-order lambda calculus typed lambda calculus monads categories linear logic Index. décimale : 18A Categories, types, and structures : an introduction to category theory for the working computer scientist [texte imprimé] / Asperti, Andrea ; Longo, Giuseppe . - The Mit Press, 1991 . - vii, 293 p.. - (MIT Press Series in the Foundations of Computing) .
ISBN : 978-0-262-01125-9
Copie
Langues : Anglais (eng)
Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B40 Combinatory logic and lambda-calculus
18-XX Category theory; homological algebra :18-01 Instructional exposition (textbooks, tutorial papers, etc.)
68-XX Computer science :68QXX Theory of computing:68Q55 SemanticsMots-clés : functor natural transformations recursive domain equations second-order lambda calculus typed lambda calculus monads categories linear logic Index. décimale : 18A Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13751 18A43 imprimé / autre CRDM 18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE Disponible
Titre : Domains and lambda-calculi Type de document : texte imprimé Auteurs : Amadio, Roberto M. ; 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 (eng) 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 SemanticsMots-clés : semantic combinatory logic Index. décimale : 68C Monographie Domains and lambda-calculi [texte imprimé] / Amadio, Roberto M. ; Pierre-Louis Curien . - Cambridge University Press, 1998 . - xvi - 484 p.. - (Cambridge Tracts in Theoretical Computer Science; 46) .
ISBN : 978-0-521-62277-6
Langues : Anglais (eng)
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 SemanticsMots-clés : semantic combinatory logic Index. décimale : 68C Monographie Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 13146 68C53 imprimé / autre CRDM 68/INFORMATIQUE Disponible
Titre : Handbook of constraint programming Type de document : texte imprimé Auteurs : Rossi, F. Ed. ; Walsh, T. ; Van Beek, P. Editeur : Amsterdam : Elsevier Année de publication : 2006 Collection : Foundations of Artificial Intelligence Importance : xix - 955 p. ISBN/ISSN/EAN : 978-0-444-52726-4 Langues : Anglais (eng) Catégories : 68-XX Computer science :68NXX Software:68N15 Programming languages
68-XX Computer science :68QXX Theory of computing:68Q55 Semantics
68-XX Computer science :68QXX Theory of computing:68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68-XX Computer science :68TXX Artificial intelligence:68T20 Problem solving (heuristics, search strategies, etc.)Mots-clés : constraint programming Index. décimale : LIN Handbook of constraint programming [texte imprimé] / Rossi, F. Ed. ; Walsh, T. ; Van Beek, P. . - Elsevier, 2006 . - xix - 955 p.. - (Foundations of Artificial Intelligence) .
ISBN : 978-0-444-52726-4
Langues : Anglais (eng)
Catégories : 68-XX Computer science :68NXX Software:68N15 Programming languages
68-XX Computer science :68QXX Theory of computing:68Q55 Semantics
68-XX Computer science :68QXX Theory of computing:68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68-XX Computer science :68TXX Artificial intelligence:68T20 Problem solving (heuristics, search strategies, etc.)Mots-clés : constraint programming Index. décimale : LIN Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 17559 LINA / 68B47 imprimé / autre CRDM indéterminé Disponible
Titre : Interactive models of computation and program behavior Type de document : texte imprimé Auteurs : Pierre-Louis Curien, Auteur ; Hugo Herbelin (19..-....), Auteur ; Krivine, Jean-Louis, Auteur Editeur : Paris : Société Mathématiques de France Année de publication : 2009 Collection : Panoramas et Synthèses, ISSN 1272-3835 num. 27 Importance : xvi, 275 p. Présentation : fig. Format : 24 cm ISBN/ISSN/EAN : 978-2-85629-273-0 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F52 Linear logic and other substructural logics
68-XX Computer science :68QXX Theory of computing:68Q55 SemanticsMots-clés : proof theory realisability abstract machines linear logic game semantics Index. décimale : 03B Publication collective Interactive models of computation and program behavior [texte imprimé] / Pierre-Louis Curien, Auteur ; Hugo Herbelin (19..-....), Auteur ; Krivine, Jean-Louis, Auteur . - Société Mathématiques de France, 2009 . - xvi, 275 p. : fig. ; 24 cm. - (Panoramas et Synthèses, ISSN 1272-3835; 27) .
ISBN : 978-2-85629-273-0
Langues : Anglais (eng)
Catégories : 03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F05 Cut-elimination and normal-form theorems
03-XX Mathematical logic and foundations:03FXX Proof theory and constructive mathematics:03F52 Linear logic and other substructural logics
68-XX Computer science :68QXX Theory of computing:68Q55 SemanticsMots-clés : proof theory realisability abstract machines linear logic game semantics Index. décimale : 03B Publication collective Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 18890 03B18 imprimé / autre CRDM 03/MATHEMATICAL LOGIC AND FOUNDATIONS Disponible
Permalink
Permalink
