Nominal Game Semantics - Murawski, Andrzej S.
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre206,23 €
Produit Neuf
Ou 51,56 € /mois
- Livraison : 25,00 €
- Livré entre le 17 et le 22 août
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.
- 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 Nominal Game Semantics Format Broché - Livre Informatique
0 avis sur Nominal Game Semantics Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Torsi Torses Nus
Occasion dès 270,00 €
-
Quantum Chemistry, 2nd Edition
1 avis
Neuf dès 199,48 €
-
Car Racing 1968
2 avis
Neuf dès 109,00 €
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Off The Record
Occasion dès 124,97 €
-
Indian Jewelry Making Volume 1
1 avis
Occasion dès 110,00 €
-
Art Of Merit: Studies In Buddhist Art And Its Conservation
Neuf dès 284,14 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
Imagine Too!
1 avis
Neuf dès 191,68 €
-
Seamanship In The Age Of Sail
Occasion dès 215,00 €
-
Gilbert Portanier
Neuf dès 141,34 €
-
Art And Devotion At A Buddhist Temple In The Indian Himalaya
Neuf dès 180,99 €
-
Les Troubadours - Anthologie Bilingue - Jacques Roubaud
Occasion dès 130,00 €
-
Tacuinum Sanitatis In Medicina
1 avis
Neuf dès 115,90 €
-
Isles Of Gold: Antique Maps Of Japan
Occasion dès 174,99 €
Produits similaires
Présentation Nominal Game Semantics Format Broché
- Livre Informatique
Résumé :
Nominal Game Semantics complements existing introductory literature to game semantics, which highlight the then new structural components necessary to model higher-order computation...
Sommaire:
for example, arenas, justification pointers, and innocence. In contrast, this monograph focuses on explaining the nominal content of our games. It begins by covering the basics of nominal sets before proceeding to introduce the programming language of study, called GroundML. GroundML is a higher-order language with references capable of storing integers, references to integers, references to references to integers, and so on. Before presenting the game model of GroundML in full detail, the reader is given a flavor of the nominal approach with the presentation of ToyML that, for the sake of simplicity, features only integer-valued references and restricted higher-order types. Because ToyML is simpler, it allows a more direct and elementary presentation of its game semantics, which will help the reader to make a transition to the full-blown model. Nominal Game Semantics has been written in a way that will make it accessible to readers who are familiar with standard denotational semantics and types....
Détails de conformité du produit
Personne responsable dans l'UE