38 citations · 103 across the 14 of their papers we have counts for
3 papers · 1 filter
Translating Extensive Form Games to Open Games with Agency
Matteo Capucci, Neil Ghani, Jérémy Ledent +1
We show open games cover extensive form games with both perfect and imperfect information. Doing so forces us to address two current weaknesses in open games: the lack of a notion…
Connecting Constructive Notions of Ordinals in Homotopy Type Theory
Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu
In classical set theory, there are many equivalent ways to introduce ordinals. In a constructive setting, however, the different notions split apart, with different advantages and…
Compositional Game Theory, Compositionally
Robert Atkey, Bruno Gavranović, Neil Ghani +3
We present a new compositional approach to compositional game theory (CGT) based upon Arrows, a concept originally from functional programming, closely related to Tambara modules,…