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

Categories, types, and structures / Asperti, Andrea

Public ISBD 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 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 Semantics Mots-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 . - Cambridge, MA : The Mit Press, 1991 . - vii, 293 p.. - (MIT Press Series in the Foundations of Computing) . ISBN : 978-0-262-01125-9 Copie Langues : Anglais 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 Semantics Mots-clés : functor  natural transformations  recursive domain equations  second-order lambda calculus  typed lambda calculus  monads  categories  linear logic Index. décimale : 18A

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13751	18A43	imprimé / autre	CRDM	18/THEORIE DES CATEGORIES, ALGEBRE HOMOLOGIQUE	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

Handbook of conceptual modeling / David W. Embley ; Bernhard Thalheim

Public ISBD Titre : Handbook of conceptual modeling : theory, practice, and research challenges Type de document : texte imprimé Auteurs : David W. Embley, Editeur scientifique ; Bernhard Thalheim, Editeur scientifique Editeur : Springer Année de publication : 2011 Importance : xix - 589 p. ISBN/ISSN/EAN : 978-3-642-15864-3 Langues : Anglais Catégories : 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68NXX Software:68N99 None of the above, but in this section 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : conceptual model programming  model-driven software development  structure modeling  UML  OCL  conceptual modeling  process modeling  user interfaces  applications Index. décimale : 68B Publication collective Résumé : Handbook of conceptual modeling : theory, practice, and research challenges [texte imprimé] / David W. Embley, Editeur scientifique ; Bernhard Thalheim, Editeur scientifique . - [S.l.] : Springer, 2011 . - xix - 589 p. ISBN : 978-3-642-15864-3 Langues : Anglais Catégories : 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68NXX Software:68N99 None of the above, but in this section 68-XX Computer science :68QXX Theory of computing:68Q55 Semantics Mots-clés : conceptual model programming  model-driven software development  structure modeling  UML  OCL  conceptual modeling  process modeling  user interfaces  applications Index. décimale : 68B Publication collective Résumé :

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21232	LINA/68B67	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Handbook of constraint programming / Rossi, F. Ed.

Public ISBD Titre : Handbook of constraint programming Type de document : texte imprimé Auteurs : Rossi, F. Ed. ; T. Walsh ; 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 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. ; T. Walsh ; van Beek, P. . - Amsterdam : Elsevier, 2006 . - xix - 955 p.. - (Foundations of Artificial Intelligence) . ISBN : 978-0-444-52726-4 Langues : Anglais 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
17559	LINA / 68B47	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible

Interactive models of computation and program behavior / Pierre-Louis Curien

Permalink

Symposium on semantics of algorithmic languages / Engeler, E. Ed.

Permalink

The functional approach to programming / Guy Cousineau

Permalink

the Lambda calculus / H. P. Barendregt

Permalink

---

page 1/1