Simon Castellan

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 18

Top Venues

CoRR

Log. Methods Comput. Sci.

FoSSaCS

Proc. ACM Program. Lang.

University of Lyon, France (PHD)

Education History

University of Lyon, France

PHD

Publications

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

Simon Castellan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Simon Castellan