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

by   Clovis Eberhart, et al.

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.


page 1

page 2

page 3

page 4


Simple game semantics and Day convolution

Game semantics has provided adequate models for a variety of programming...

Grounding Game Semantics in Categorical Algebra

I present a formal connection between algebraic effects and game semanti...

Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive Law

We extend the open games framework for compositional game theory to enco...

Bi-invariance for Uniform Strategies on Event Structures

A recurring problem in game semantics is to enforce uniformity in strate...

Quantifying Feature Importance of Games and Strategies via Shapley Values

Recent advances in game informatics have enabled us to find strong strat...

The far side of the cube

Game-semantic models usually start from the core model of the prototypic...

Tester versus Bug: A Generic Framework for Model-Based Testing via Games

We propose a generic game-based approach for test case generation. We se...

Please sign up or login with your details

Forgot password? Click here to reset