Thin Games with Symmetry and Concurrent Hyland-Ong Games

Simon Castellan, Pierre Clairambault, Glynn Winskel

We build a cartesian closed category, called Cho, based on event structures. It allows an interpretation of higher-order stateful concurrent programs that is refined and precise: o…