Categorical Combinators, Sequential Algorithms, and Functional Programming - Curien, P. -L.
- Format: Relié Voir le descriptif
73,99 €
Occasion · État Correct
Ou 18,50 € /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.
Nos autres offres
-
159,55 €
Produit Neuf
Ou 39,89 € /mois
- Livraison : 3,99 €
- Livré entre le 21 et le 27 août
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 Relié - Livre Informatique
0 avis sur Categorical Combinators, Sequential Algorithms, And Functional Programming Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Der Mythus Des Zwangzigsten Jahrhunderts
Occasion dès 49,00 €
-
Elvis Presley On Tour Livre Usa 120 Pages 240 Photos Inedites ! Rare!
Occasion dès 59,00 €
-
Xbox Series X : (J)
Neuf dès 43,99 €
-
Complete Swedish Beginner To Intermediate Course
1 avis
Neuf dès 49,73 €
-
Alinea
1 avis
Occasion dès 55,00 €
-
Saint Louis
Neuf dès 136,85 €
Occasion dès 45,00 €
-
Flight Attendants
Occasion dès 40,99 €
-
Mathématiques 1re S Et E : Géométrie Et Statistiques (Collection Terracher)
2 avis
Occasion dès 46,96 €
-
Des Bienfaits, 2 Tomes
1 avis
Occasion dès 45,80 €
-
Michael Kenna: Silver Haikus
3 avis
Neuf dès 52,52 €
-
Communion
Neuf dès 44,71 €
-
Fragmentation And Repair
2 avis
Neuf dès 40,31 €
-
Impact Type
Neuf dès 39,73 €
-
Drive-In Dream Girls
Neuf dès 51,39 €
-
Google Pixel 10 Pro : Pixel 10 Pro
Neuf dès 41,99 €
-
Castles Of England
Neuf dès 37,66 €
-
Dc Finest: Hawkman: Wings Across Time
Neuf dès 42,16 €
-
Tusculanes, 2 Tomes (I-V)
Occasion dès 45,80 €
-
Empires In World History
1 avis
Neuf dès 48,88 €
Occasion dès 40,00 €
-
L'italien B2 - Pack Avec 1 Livre (3 Cd Audio)
1 avis
Neuf dès 65,90 €
Occasion dès 191,71 €
Produits similaires
Présentation Categorical Combinators, Sequential Algorithms, And Functional Programming Format Relié
- Livre Informatique
Résumé :
This monograph is the second edition of a concrete approach to the semantics of sequential programming languages, which is a fundamental topic in theoretical computer science. It presents examples of fruitful interactions among computer science, category theory and mathematical logic.
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