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

---

page 1/1