What's in a game? A theory of game models
Authors: Clovis Eberhart and Tom Hirschowitz
Paper Information
Title: | What's in a game? A theory of game models |
Authors: | Clovis Eberhart and Tom Hirschowitz |
Proceedings: | LICS PDF files |
Editors: | Anuj Dawar and Erich Grädel |
Keywords: | Game semantics, Concurrent strategies, Category theory, Presheaves, Polynomial functors |
Abstract: | ABSTRACT. 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. |
Pages: | 10 |
Talk: | Jul 10 15:40 (Session 57C) |
Paper: |