What's in a game? A theory of game models - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

What's in a game? A theory of game models

Résumé

Game semantics is a rich and successful class of denotational models for programming languages. Most game models feature a rather intuitive setup, yet surprisingly difficult proofs of such basic results as associativity of composition of strategies. We set out to unify these models into a basic abstract framework for game semantics, game settings. Our main contribution is the generic construction, for any game setting, of a category of games and strategies. Furthermore , we extend the framework to deal with innocence, and prove that innocent strategies form a subcategory. We finally show that our constructions cover many concrete cases, mainly among the early models and the very recent sheaf-based ones.
Fichier principal
Vignette du fichier
compo-lics.pdf (396.73 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01634162 , version 1 (15-11-2017)

Identifiants

Citer

Clovis Eberhart, Tom Hirschowitz. What's in a game? A theory of game models. LICS, 2018, Oxford, United Kingdom. pp.374-383, ⟨10.1145/3209108.3209114⟩. ⟨hal-01634162⟩
307 Consultations
416 Téléchargements

Altmetric

Partager

More