Interactive Models of Computation and Program Behavior

Pierre-Louis Curien, Hugo Herbelin, Jean-louis Krivine et Paul-andre Mellies

Amer Mathematical Society
2010

3,19 €

Interactive Models of Computation and Program Behavior 3,19 €

État

En stock Derniers articles en stock Dernier exemplaire : ajoutez-le à votre panier avant qu'il ne disparaisse. Tous les articles sont dans le panier

À propos

Ce volume rassemble trois contributions portant sur le domaine « logique et calcul » et qui reflètent un courant actuel d'explicitation du contenu interactif des preuves et des programmes. Les trois chapitres peuvent être lus indépendamment et utilisent ou introduisent des outils fondamentaux du domaine : catégories, réalisabilité, machines abstraites. Un thème unificateur à travers l'ensemble du volume est celui des jeux et stratégies, qui transforme la correspondance entre preuves et programmes (connue sous le nom d'isomorphisme de Curry-Howard) en un triangle dont le troisième sommet met en valeur l'interaction et la dualité entre un programme et son contexte d'exécution, entre une preuve et des contre-preuves. L'introduction au volume place les contributions en perspective et offre une initiation rapide au lambda-calcul qui est et demeure l'épine dorsale de tout ce domaine de recherche.

This volume contains three contributions in the field of logic and computation, that reflect current trends towards an interactive account of the meaning of proofs and programmes. The contributions can be read independently and use or introduce fundamental tools in the field : categories, realizability, abstract machines. Throughout the volume, a unifying theme is that of games and strategies, that turns the correspondance between proofs and programmes (the so-called Curry-Howard isomor-phism) into a triangle whose third corner emphasizes interaction and duality between a program and its environement or between a proof and counter-proofs. The introduction to the volume places the contributions in perspective and provides a gentle beginner's introduction to the lambda-calculus, which is and remains the backbone of the whole field.

Classification

Livre d'occasion
Sciences, Techniques et Médecine / Mathématiques
Sciences, Techniques et Médecine / Personnages scientifiques

Jusqu'à 15 % de vos achats sont reversés à nos partenaires caritatifs. En savoir plus
Votre achat contribue à réaliser notre mission : "diffuser la passion de la culture. Avec chacun, pour tous". En offrant une seconde vie à ces produits, vous réduisez le gaspillage de papier et soutenez les actions de nos associations partenaires.
Livraison estimée en 2 jours ouvrés avec Colis Privé, Mondial Relay et Colissimo.

Livraison le lendemain du lundi au vendredi pour les commandes passées avant midi avec Chronopost.
Retours jusqu'à 30 jours après l'achat
Besoin d'aide ? Obtenez une réponse de notre service d'assistance dans les 24 heures pendant les jours ouvrables.
Paiement sécurisé
Acheter sur Amazon

Auteur(s)

Pierre-Louis Curien, Hugo Herbelin, Jean-louis Krivine et Paul-andre Mellies
Editeur

Amer Mathematical Society
Année

2010
Date de sortie

15/05/2010
Format

Broché
Pages

275
Langue

Français
Type de produit

Livre
ISBN-10

2856292739
EAN

9782856292730
Référence

E-577-815

Notre mission est de "Diffuser la passion de la culture. Avec chacun, pour tous." Cela signifie que chaque achat que vous effectuez chez nous contribue à la réalisation de cette mission ambitieuse.

Acheter sur ammareal.fr va au-delà de l'acte d'achat lui-même. C'est un engagement en faveur de la culture, de l'éducation, de l'inclusion sociale, de la durabilité environnementale et de l'économie circulaire. Rejoignez-nous dans notre mission et faites partie de la communauté qui partage notre passion pour la culture et notre engagement envers un monde meilleur pour tous.
Un produit culturel d'occasion est un bien culturel préalablement possédé par un tiers et qui est proposé à la vente. Ces produits comprennent des livres, des CD, des DVD et d'autres supports culturels. Ils sont soigneusement vérifiés pour s'assurer de leur qualité et de leur état avant d'être mis en vente sur notre site. En choisissant des produits culturels d'occasion, vous contribuez à la réduction de la consommation de ressources et à la promotion d'une démarche écocitoyenne en prolongeant la durée de vie des biens culturels existants.
Les produits que vous trouvez sur notre site proviennent de diverses sources écocitoyennes, notamment des particuliers, des bibliothèques, des médiathèques, des associations, des entreprises et d'autres partenaires engagés dans une démarche de durabilité. Nous mettons un point d'honneur à promouvoir la réutilisation et le recyclage des biens culturels, contribuant ainsi à la préservation de l'environnement tout en offrant des produits culturels de qualité à nos clients.
Notre politique de retour est conçue pour garantir votre satisfaction en tant que client. Chez ammareal.fr, nous comprenons que parfois, un article peut ne pas répondre à vos attentes. C'est pourquoi nous vous offrons la flexibilité d'une politique de retour pouvant aller jusqu'à 30 jours.

Retrouvez plus d’informations sur notre page dédiée à la politique de retour .
Nous offrons deux modes de paiement pratiques pour faciliter vos achats :

Paiement par carte bancaire : Nous acceptons les principales cartes de crédit et de débit, ce qui vous permet de régler vos achats en toute sécurité et simplicité en utilisant votre carte préférée.

PayPal: Si vous préférez utiliser PayPal, vous pouvez sélectionner cette option lors de la finalisation de votre commande. PayPal offre une sécurité accrue pour vos transactions en ligne.