default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Simon Castellan
@article{DBLP:journals/pacmpl/CastellanC23,
author = {Simon Castellan and
Pierre Clairambault},
title = {The Geometry of Causality: Multi-token Geometry of Interaction and
Its Causal Unfolding},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {689--717},
year = {2023},
url = {https://doi.org/10.1145/3571217},
doi = {10.1145/3571217},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/CastellanC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2103-15453,
author = {Simon Castellan and
Pierre Clairambault},
title = {Disentangling Parallelism and Interference in Game Semantics},
journal = {CoRR},
volume = {abs/2103.15453},
year = {2021},
url = {https://arxiv.org/abs/2103.15453},
eprinttype = {arXiv},
eprint = {2103.15453},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2103-15453.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-10558,
author = {Simon Castellan and
Pierre Clairambault and
Glynn Winskel},
title = {The Mays and Musts of Concurrent Strategies},
journal = {CoRR},
volume = {abs/2108.10558},
year = {2021},
url = {https://arxiv.org/abs/2108.10558},
eprinttype = {arXiv},
eprint = {2108.10558},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-10558.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-05248,
author = {Nobuko Yoshida and
Simon Castellan and
L{\'{e}}o Stefanesco},
title = {Game Semantics: Easy as Pi},
journal = {CoRR},
volume = {abs/2011.05248},
year = {2020},
url = {https://arxiv.org/abs/2011.05248},
eprinttype = {arXiv},
eprint = {2011.05248},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-05248.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CastellanCW19,
author = {Simon Castellan and
Pierre Clairambault and
Glynn Winskel},
title = {Thin Games with Symmetry and Concurrent Hyland-Ong Games},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {1},
year = {2019},
url = {https://doi.org/10.23638/LMCS-15(1:18)2019},
doi = {10.23638/LMCS-15(1:18)2019},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CastellanCW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/CastellanY19,
author = {Simon Castellan and
Nobuko Yoshida},
title = {Two sides of the same coin: session types and game semantics: a synchronous
side and an asynchronous side},
journal = {Proc. {ACM} Program. Lang.},
volume = {3},
number = {{POPL}},
pages = {27:1--27:29},
year = {2019},
url = {https://doi.org/10.1145/3290340},
doi = {10.1145/3290340},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/CastellanY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CastellanP19,
author = {Simon Castellan and
Hugo Paquet},
editor = {Lu{\'{\i}}s Caires},
title = {Probabilistic Programming Inference via Intensional Semantics},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {322--349},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_12},
doi = {10.1007/978-3-030-17184-1\_12},
timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
biburl = {https://dblp.org/rec/conf/esop/CastellanP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CastellanY19,
author = {Simon Castellan and
Nobuko Yoshida},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free
Multiplicative-Additive Fragment)},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {150--168},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_9},
doi = {10.1007/978-3-030-17127-8\_9},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/CastellanY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-00827,
author = {Simon Castellan and
Pierre Clairambault and
Peter Dybjer},
title = {Categories with Families: Unityped, Simply Typed, and Dependently
Typed},
journal = {CoRR},
volume = {abs/1904.00827},
year = {2019},
url = {http://arxiv.org/abs/1904.00827},
eprinttype = {arXiv},
eprint = {1904.00827},
timestamp = {Wed, 24 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-00827.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CastellanCHW18,
author = {Simon Castellan and
Pierre Clairambault and
Jonathan Hayman and
Glynn Winskel},
editor = {Christel Baier and
Ugo Dal Lago},
title = {Non-angelic Concurrent Game Semantics},
booktitle = {Foundations of Software Science and Computation Structures - 21st
International Conference, {FOSSACS} 2018, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
Thessaloniki, Greece, April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10803},
pages = {3--19},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89366-2\_1},
doi = {10.1007/978-3-319-89366-2\_1},
timestamp = {Sun, 04 Aug 2024 19:40:23 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CastellanCHW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CastellanCPW18,
author = {Simon Castellan and
Pierre Clairambault and
Hugo Paquet and
Glynn Winskel},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {The concurrent game semantics of Probabilistic {PCF}},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {215--224},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209187},
doi = {10.1145/3209108.3209187},
timestamp = {Wed, 21 Nov 2018 12:44:18 +0100},
biburl = {https://dblp.org/rec/conf/lics/CastellanCPW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Castellan17,
author = {Simon Castellan},
title = {Concurrent structures in game semantics. (Structures concurrentes
en s{\'{e}}mantique des jeux)},
school = {University of Lyon, France},
year = {2017},
url = {https://tel.archives-ouvertes.fr/tel-01587718},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Castellan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Castellan17,
author = {Simon Castellan},
title = {Concurrent Structures in Game Semantics},
journal = {Bull. {EATCS}},
volume = {123},
year = {2017},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/501},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/Castellan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CastellanCRW17,
author = {Simon Castellan and
Pierre Clairambault and
Silvain Rideau and
Glynn Winskel},
title = {Games and Strategies as Event Structures},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {3},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(3:35)2017},
doi = {10.23638/LMCS-13(3:35)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CastellanCRW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CastellanCD17,
author = {Simon Castellan and
Pierre Clairambault and
Peter Dybjer},
title = {Undecidability of Equality in the Free Locally Cartesian Closed Category
(Extended version)},
journal = {Log. Methods Comput. Sci.},
volume = {13},
number = {4},
year = {2017},
url = {https://doi.org/10.23638/LMCS-13(4:22)2017},
doi = {10.23638/LMCS-13(4:22)2017},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/CastellanCD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/CastellanCW17,
author = {Simon Castellan and
Pierre Clairambault and
Glynn Winskel},
editor = {Kim G. Larsen and
Hans L. Bodlaender and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Distributed Strategies Made Easy},
booktitle = {42nd International Symposium on Mathematical Foundations of Computer
Science, {MFCS} 2017, August 21-25, 2017 - Aalborg, Denmark},
series = {LIPIcs},
volume = {83},
pages = {81:1--81:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.MFCS.2017.81},
doi = {10.4230/LIPICS.MFCS.2017.81},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/mfcs/CastellanCW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/CastellanCW17,
author = {Simon Castellan and
Pierre Clairambault and
Glynn Winskel},
editor = {Dale Miller},
title = {Observably Deterministic Concurrent Strategies and Intensional Full
Abstraction for Parallel-or},
booktitle = {2nd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
series = {LIPIcs},
volume = {84},
pages = {12:1--12:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2017.12},
doi = {10.4230/LIPICS.FSCD.2017.12},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/CastellanCW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/CastellanC16,
author = {Simon Castellan and
Pierre Clairambault},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Causality vs. Interleavings in Concurrent Game Semantics},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {32:1--32:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.32},
doi = {10.4230/LIPICS.CONCUR.2016.32},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/CastellanC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CastellanCRW16,
author = {Simon Castellan and
Pierre Clairambault and
Silvain Rideau and
Glynn Winskel},
title = {Concurrent Games},
journal = {CoRR},
volume = {abs/1604.04390},
year = {2016},
url = {http://arxiv.org/abs/1604.04390},
eprinttype = {arXiv},
eprint = {1604.04390},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastellanCRW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CastellanCW15,
author = {Simon Castellan and
Pierre Clairambault and
Glynn Winskel},
title = {The Parallel Intensionally Fully Abstract Games Model of {PCF}},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {232--243},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.31},
doi = {10.1109/LICS.2015.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CastellanCW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/CastellanCD15,
author = {Simon Castellan and
Pierre Clairambault and
Peter Dybjer},
editor = {Thorsten Altenkirch},
title = {Undecidability of Equality in the Free Locally Cartesian Closed Category},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {138--152},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.138},
doi = {10.4230/LIPICS.TLCA.2015.138},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/tlca/CastellanCD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CastellanCD15,
author = {Simon Castellan and
Pierre Clairambault and
Peter Dybjer},
title = {Undecidability of Equality in the Free Locally Cartesian Closed Category},
journal = {CoRR},
volume = {abs/1504.03995},
year = {2015},
url = {http://arxiv.org/abs/1504.03995},
eprinttype = {arXiv},
eprint = {1504.03995},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastellanCD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CastellanCW14,
author = {Simon Castellan and
Pierre Clairambault and
Glynn Winskel},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Symmetry in concurrent games},
booktitle = {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), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {28:1--28:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603141},
doi = {10.1145/2603088.2603141},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/CastellanCW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CastellanHLW14,
author = {Simon Castellan and
Jonathan Hayman and
Marc Lasson and
Glynn Winskel},
editor = {Bart Jacobs and
Alexandra Silva and
Sam Staton},
title = {Strategies as Concurrent Processes},
booktitle = {Proceedings of the 30th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2014, Ithaca, NY, USA, June 12-15,
2014},
series = {Electronic Notes in Theoretical Computer Science},
volume = {308},
pages = {87--107},
publisher = {Elsevier},
year = {2014},
url = {https://doi.org/10.1016/j.entcs.2014.10.006},
doi = {10.1016/J.ENTCS.2014.10.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/CastellanHLW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CastellanCW14,
author = {Simon Castellan and
Pierre Clairambault and
Glynn Winskel},
title = {Concurrent Hyland-Ong games},
journal = {CoRR},
volume = {abs/1409.7542},
year = {2014},
url = {http://arxiv.org/abs/1409.7542},
eprinttype = {arXiv},
eprint = {1409.7542},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CastellanCW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:49 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
