Simon Castellan

26 papers A* 2A 1B 6Journal 14Unranked 2
YearRankTypeTitle / Venue / Authors
2024 J jnl
Disentangling Parallelism and Interference in Game Semantics.
Log. Methods Comput. Sci.
Simon Castellan, Pierre Clairambault
2023 J jnl
The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding.
Proc. ACM Program. Lang.
Simon Castellan, Pierre Clairambault
2021 J jnl
Disentangling Parallelism and Interference in Game Semantics.
CoRR
Simon Castellan, Pierre Clairambault
2021 J jnl
The Mays and Musts of Concurrent Strategies.
CoRR
Simon Castellan, Pierre Clairambault, Glynn Winskel
2020 J jnl
Game Semantics: Easy as Pi.
CoRR
Nobuko Yoshida, Simon Castellan, Léo Stefanesco
2019 J jnl
Categories with Families: Unityped, Simply Typed, and Dependently Typed.
CoRR
Simon Castellan, Pierre Clairambault, Peter Dybjer
2019 B conf
Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment).
FoSSaCS
Simon Castellan, Nobuko Yoshida
2019 A conf
Probabilistic Programming Inference via Intensional Semantics.
ESOP
Simon Castellan, Hugo Paquet
2019 J jnl
Thin Games with Symmetry and Concurrent Hyland-Ong Games.
Log. Methods Comput. Sci.
Simon Castellan, Pierre Clairambault, Glynn Winskel
2019 J jnl
Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side.
Proc. ACM Program. Lang.
Simon Castellan, Nobuko Yoshida
2018 B conf
Non-angelic Concurrent Game Semantics.
FoSSaCS
Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel
2018 A* conf
The concurrent game semantics of Probabilistic PCF.
LICS
Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel
2017 J jnl
Concurrent Structures in Game Semantics.
Bull. EATCS
Simon Castellan
2017 — —
Concurrent structures in game semantics. (Structures concurrentes en sémantique des jeux).
Simon Castellan
2017 B conf
Distributed Strategies Made Easy.
MFCS
Simon Castellan, Pierre Clairambault, Glynn Winskel
2017 J jnl
Games and Strategies as Event Structures.
Log. Methods Comput. Sci.
Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
2017 B conf
Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or.
FSCD
Simon Castellan, Pierre Clairambault, Glynn Winskel
2017 J jnl
Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version).
Log. Methods Comput. Sci.
Simon Castellan, Pierre Clairambault, Peter Dybjer
2016 B conf
Causality vs. Interleavings in Concurrent Game Semantics.
CONCUR
Simon Castellan, Pierre Clairambault
2016 J jnl
Concurrent Games.
CoRR
Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel
2015 A* conf
The Parallel Intensionally Fully Abstract Games Model of PCF.
LICS
Simon Castellan, Pierre Clairambault, Glynn Winskel
2015 — conf
Undecidability of Equality in the Free Locally Cartesian Closed Category.
TLCA
Simon Castellan, Pierre Clairambault, Peter Dybjer
2015 J jnl
Undecidability of Equality in the Free Locally Cartesian Closed Category.
CoRR
Simon Castellan, Pierre Clairambault, Peter Dybjer
2014 J jnl
Concurrent Hyland-Ong games.
CoRR
Simon Castellan, Pierre Clairambault, Glynn Winskel
2014 B conf
Strategies as Concurrent Processes.
MFPS
Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel
2014 — conf
Symmetry in concurrent games.
CSL-LICS
Simon Castellan, Pierre Clairambault, Glynn Winskel