Transition systems over games
Paul Blain Levy, Sam Staton · 2014
We describe a framework for game semantics combining operational and denotational accounts. A game is a bipartite graph of "passive" and "active" positions, or a categorical variant with morphisms between positions.