Categorical Combinators, Sequential Algorithms, and Functional Programming - Curien, P. -L.
- Format: Broché Voir le descriptif
162,77 €
Produit Neuf
Ou 40,69 € /mois
- Livraison à 0,01 €
- Livré entre le 21 août et le 7 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461267041_dbm
Nos autres offres
-
157,06 €
Produit Neuf
Ou 39,27 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 27 août
Voir le détail de l'annonce -
162,77 €
Produit Neuf
Ou 40,69 € /mois
- Livraison à 0,01 €
- Livré entre le 21 août et le 7 septembre
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781461267041_dbm
Voir le détail de l'annonce -
160,99 €
Produit Neuf
Ou 40,25 € /mois
- Livraison : 25,00 €
- Livré entre le 4 et le 9 septembre
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Categorical Combinators, Sequential Algorithms, And Functional Programming Format Broché - Livre Informatique
0 avis sur Categorical Combinators, Sequential Algorithms, And Functional Programming Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
The Evolution Of Complexity By Means Of Natural Selection
Neuf dès 136,68 €
-
The Religion Of The Mithras Cult In The Roman Empire
Neuf dès 214,66 €
-
Last Resort: Photographs Of New Brighton
Occasion dès 139,90 €
-
Ellen Von Unwerth. Heimat
Neuf dès 98,04 €
-
Porsche Racing Cars
Neuf dès 102,94 €
-
Superman & Batman: Generations Omnibus
Neuf dès 84,18 €
-
Dictionnaire Chinois - Anglais
Occasion dès 99,00 €
-
Te Linde's Operative Gynecology
Neuf dès 103,99 €
-
Lexique Multilingue - Pâtisserie, Boulangerie, Chocolaterie-Confiserie, Glacerie
2 avis
Occasion dès 140,00 €
-
Ignacio Pinazo . Los Inicios De La Pintura Moderna
Occasion dès 152,00 €
-
Clifford Numbers And Spinors
Neuf dès 234,81 €
-
Throne Of Glass Box Set (Paperback)
Neuf dès 84,00 €
Occasion dès 239,59 €
-
Laboratory Medicine In Psychiatry And Behavioral Science
Neuf dès 125,20 €
-
Quantum Chemistry, 2nd Edition
1 avis
Neuf dès 227,66 €
-
12 Division Headquarters, Branches And Services Royal Army Medical Corps Assistant Director Medical Services
Neuf dès 90,80 €
-
Cyanotype
Neuf dès 115,25 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
Shade, The Changing Man By Peter Milligan And Chris Bachalo Omnibus Vol. 1
Neuf dès 128,81 €
-
The Book Of Tiki: The Cult Of Polynesian Pop In Fifties America (Taschen Specials)
Occasion dès 117,99 €
-
Batman By Scott Snyder & Greg Capullo Omnibus Vol. 1
Neuf dès 122,36 €
Produits similaires
Présentation Categorical Combinators, Sequential Algorithms, And Functional Programming Format Broché
- Livre Informatique
Sommaire:
1. Categorical Combinators.- 1.1 Introducing categorical combinators.- 1.2 ?-calculus and untyped categorical combinatory logic.- 1.3 Types and cartesian closed categories.- 1.4 From untyped calculus to typed calculus: axiomatizing a universal type.- 1.5 Models of the ?-calculus.- 1.6 Equivalence of presentations.- 1.7 Evaluation of categorical terms.- 1.8 Discussion.- 2. Sequential Algorithms.- 2.1 Concrete data structures.- 2.2 Representation theorems.- 2.3 Domain equations.- 2.4 Sequential functions.- 2.5 Sequential algorithms.- 2.6 The category of concrete data structures and sequential algorithms.- 2.7 Discussion.- 3. CDSO: The Kernel of a Functional Language.- 3.1 Declaring concrete data structures.- 3.2 The language of constants: states and sequential algorithms.- 3.3 The language of expressions.- 3.4 Operational semantics: presentation.- 3.5 Operational semantics: the rules of CDSO1.- 3.6 Pull abstraction for CDS0l.- 3.7 Discussion.- 4. The Full Abstraction Problem.- 4.1 The languages PCF, PCFP, and PCFC.- 4.2 Sequential algorithms and extensionality: the bicd's.- 4.3 Complete bicd's.- 4.4 Extensional algorithms and definability.- 4.5 Discussion.- 5. Conclusion.- 6. Mathematical Prerequisites.- References.- Index of Definitions.- Index of Symbols.
Détails de conformité du produit
Personne responsable dans l'UE