Thin Games with Symmetry and Concurrent Hyland-Ong Games

Simon Castellan, Pierre Clairambault, Glynn Winskel. Thin Games with Symmetry and Concurrent Hyland-Ong Games. Logical Methods in Computer Science, 15(1), 2019. [doi]

Abstract

Abstract is missing.