4 citations · 10 across the 6 of their papers we have counts for
9 papers · 1 filter
The game semantics of game theory
Jules Hedges
We use a reformulation of compositional game theory to reunite game theory with game semantics, by viewing an open game as the System and its choice of contexts as the Environment.…
Sequential games and nondeterministic selection functions
Joe Bolt, Jules Hedges, Philipp Zahn
This paper analyses Escardó and Oliva's generalisation of selection functions over a strong monad from a game-theoretic perspective. We focus on the case of the nondeterminism (fin…
Backward Induction for Repeated Games
Jules Hedges
We present a method of backward induction for computing approximate subgame perfect Nash equilibria of infinitely repeated games with discounted payoffs. This uses the selection mo…
The algebra of predicting agents
Joe Bolt, Jules Hedges, Viktor Winschel
The category of open games, which provides a strongly compositional foundation of economic game theory, is intermediate between symmetric monoidal and compact closed. More precisel…
Morphisms of open games
Jules Hedges
We define a notion of morphisms between open games, exploiting a surprising connection between lenses in computer science and compositional game theory. This extends the more intui…
Compositionality and String Diagrams for Game Theory
Jules Hedges, Evguenia Shprits, Viktor Winschel +1
We introduce string diagrams as a formal mathematical, graphical language to represent, compose, program and reason about games. The language is well established in quantum physics…