TY  - RPRT
TI  - Thin Games with Symmetry and Concurrent Hyland-Ong Games
AU  - Simon Castellan
AU  - Pierre Clairambault
AU  - Glynn Winskel
PY  - 2019
DO  - 10.23638/lmcs-15(1:18)2019
UR  - https://arxiv.org/abs/1409.7542
ID  - 1409.7542
ER  -