Concurrent Games over Relational Structures: The Origin of Game Comonads

Yoà v Montacute, Glynn Winskel

Spoiler-Duplicator games are used in finite model theory to examine the expressive power of logics. Their strategies have recently been reformulated as coKleisli maps of game comon…