35 citations · 65 across the 10 of their papers we have counts for
4 papers · 1 filter
Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
Marcelo Fiore, Nicola Gambino, Martin Hyland +1
We introduce the notion of a relative pseudomonad, which generalises the notion of a pseudomonad, and define the Kleisli bicategory associated to a relative pseudomonad. We then pr…
Distributed Games and Strategies
Glynn Winskel
A summary of work on distributed games and strategies done within the first three years of the ERC project ECSYM is presented.
Strategies with Parallel Causes
Marc de Visme, Glynn Winskel
In a distributed game we imagine a team Player engaging a team Opponent in a distributed fashion. Such games and their strategies have been formalised in concurrent games based on…
Games and Strategies as Event Structures
Simon Castellan, Pierre Clairambault, Silvain Rideau +1
In 2011, Rideau and Winskel introduced concurrent games and strategies as event structures, generalizing prior work on causal formulations of games. In this paper we give a detaile…