Simon Castellan

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Disentangling parallelism and interference in game semantics Logical Methods in Computer Science	2024-11-12	Paper
The mays and musts of concurrent strategies	2024-10-01	Paper
Probabilistic programming inference via intensional semantics Programming Languages and Systems	2023-11-24	Paper
Categories with families: unityped, simply typed, and dependently typed Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics	2021-12-08	Paper
The concurrent game semantics of probabilistic PCF Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
scientific article; zbMATH DE number 7204431 (Why is no real title available?)	2020-05-26	Paper
Distributed Strategies Made Easy	2020-05-26	Paper
Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment)	2020-01-28	Paper
Concurrent structures in game semantics	2019-07-03	Paper
Thin games with symmetry and concurrent Hyland-Ong games (available as arXiv preprint)	2019-03-18	Paper
Non-angelic concurrent game semantics	2018-07-17	Paper
Symmetry in concurrent games 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)	2018-04-23	Paper
The Parallel Intensionally Fully Abstract Games Model of PCF 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science	2018-04-23	Paper
Causality vs. interleavings in concurrent game semantics	2018-03-21	Paper
scientific article; zbMATH DE number 6816943 (Why is no real title available?) (available as arXiv preprint)	2017-12-11	Paper
Games and strategies as event structures (available as arXiv preprint)	2017-10-12	Paper
Undecidability of equality in the free locally Cartesian closed category	2017-07-12	Paper
Strategies as concurrent processes	2016-05-13	Paper

Research outcomes over time

This page was built for person: Simon Castellan