Simon Castellan

According to our database, Simon Castellan authored at least 24 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Disentangling Parallelism and Interference in Game Semantics.

Simon Castellan, Pierre Clairambault

Log. Methods Comput. Sci., 2024

2023

The Geometry of Causality: Multi-token Geometry of Interaction and Its Causal Unfolding.

Simon Castellan, Pierre Clairambault

Proc. ACM Program. Lang., January, 2023

2021

The Mays and Musts of Concurrent Strategies.

Simon Castellan, Pierre Clairambault, Glynn Winskel

CoRR, 2021

2020

Game Semantics: Easy as Pi.

Nobuko Yoshida, Simon Castellan, Léo Stefanesco

CoRR, 2020

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

Thin Games with Symmetry and Concurrent Hyland-Ong Games.

Simon Castellan, Pierre Clairambault, Glynn Winskel

Log. Methods Comput. Sci., 2019

Categories with Families: Unityped, Simply Typed, and Dependently Typed.

Simon Castellan, Pierre Clairambault, Peter Dybjer

CoRR, 2019

Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment).

Simon Castellan, Nobuko Yoshida

Proceedings of the Foundations of Software Science and Computation Structures, 2019

Probabilistic Programming Inference via Intensional Semantics.

Simon Castellan, Hugo Paquet

Proceedings of the Programming Languages and Systems, 2019

2018

The concurrent game semantics of Probabilistic PCF.

Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Non-angelic Concurrent Game Semantics.

Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

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

Simon Castellan

PhD thesis, 2017

Games and Strategies as Event Structures.

Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel

Log. Methods Comput. Sci., 2017

Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version).

Simon Castellan, Pierre Clairambault, Peter Dybjer

Log. Methods Comput. Sci., 2017

Concurrent Structures in Game Semantics.

Simon Castellan

Bull. EATCS, 2017

Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or.

Simon Castellan, Pierre Clairambault, Glynn Winskel

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

Distributed Strategies Made Easy.

Simon Castellan, Pierre Clairambault, Glynn Winskel

Proceedings of the 42nd International Symposium on Mathematical Foundations of Computer Science, 2017

2016

Concurrent Games.

Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel

CoRR, 2016

Causality vs. Interleavings in Concurrent Game Semantics.

Simon Castellan, Pierre Clairambault

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Undecidability of Equality in the Free Locally Cartesian Closed Category.

Simon Castellan, Pierre Clairambault, Peter Dybjer

Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications, 2015

The Parallel Intensionally Fully Abstract Games Model of PCF.

Simon Castellan, Pierre Clairambault, Glynn Winskel

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Strategies as Concurrent Processes.

Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Concurrent Hyland-Ong games.

Simon Castellan, Pierre Clairambault, Glynn Winskel

CoRR, 2014

Symmetry in concurrent games.

Simon Castellan, Pierre Clairambault, Glynn Winskel

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014