Symmetry in concurrent games. - Simon Castellan; Pierre Clairambault; Glynn Winskel (CSL-LICS, 2014)

Concurrent Hyland-Ong games. - Simon Castellan; Pierre Clairambault; Glynn Winskel (CoRR, 2014)

Strategies as Concurrent Processes. - Simon Castellan; Jonathan Hayman; Marc Lasson; Glynn Winskel (MFPS, 2014)

The Parallel Intensionally Fully Abstract Games Model of PCF. - Simon Castellan; Pierre Clairambault; Glynn Winskel (LICS, 2015)

Undecidability of Equality in the Free Locally Cartesian Closed Category. - Simon Castellan; Pierre Clairambault; Peter Dybjer (TLCA, 2015)

Causality vs. Interleavings in Concurrent Game Semantics. - Simon Castellan; Pierre Clairambault (CONCUR, 2016)

Concurrent Games. - Simon Castellan; Pierre Clairambault; Silvain Rideau; Glynn Winskel (CoRR, 2016)

Distributed Strategies Made Easy. - Simon Castellan; Pierre Clairambault; Glynn Winskel (MFCS, 2017)

Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or. - Simon Castellan; Pierre Clairambault; Glynn Winskel (FSCD, 2017)

Concurrent Structures in Game Semantics. - Simon Castellan (Bull. EATCS, 2017)

Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version). - Simon Castellan; Pierre Clairambault; Peter Dybjer (Log. Methods Comput. Sci., 2017)

Games and Strategies as Event Structures. - Simon Castellan; Pierre Clairambault; Silvain Rideau; Glynn Winskel (Log. Methods Comput. Sci., 2017)

Concurrent structures in game semantics. (Structures concurrentes en sémantique des jeux). - Simon Castellan (2017)

Non-angelic Concurrent Game Semantics. - Simon Castellan; Pierre Clairambault; Jonathan Hayman; Glynn Winskel (FoSSaCS, 2018)

The concurrent game semantics of Probabilistic PCF. - Simon Castellan; Pierre Clairambault; Hugo Paquet; Glynn Winskel (LICS, 2018)

Probabilistic Programming Inference via Intensional Semantics. - Simon Castellan; Hugo Paquet (ESOP, 2019)

Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment). - Simon Castellan; Nobuko Yoshida (FoSSaCS, 2019)

Categories with Families: Unityped, Simply Typed, and Dependently Typed. - Simon Castellan; Pierre Clairambault; Peter Dybjer (CoRR, 2019)

Thin Games with Symmetry and Concurrent Hyland-Ong Games. - Simon Castellan; Pierre Clairambault; Glynn Winskel (Log. Methods Comput. Sci., 2019)

Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side. - Simon Castellan; Nobuko Yoshida (Proc. ACM Program. Lang., 2019)

Game Semantics: Easy as Pi. - Nobuko Yoshida; Simon Castellan; Léo Stefanesco (CoRR, 2020)

The Mays and Musts of Concurrent Strategies. - Simon Castellan; Pierre Clairambault; Glynn Winskel (CoRR, 2021)

The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding. - Simon Castellan; Pierre Clairambault (Proc. ACM Program. Lang., 2023)

Disentangling Parallelism and Interference in Game Semantics. - Simon Castellan; Pierre Clairambault (Log. Methods Comput. Sci., 2024)