Thin Games with Symmetry and Concurrent Hyland-Ong Games

Autor: Simon Castellan, Pierre Clairambault, Glynn Winskel

Publikováno v: Logical Methods in Computer Science, Vol Volume 15, Issue 1 (2019)

We build a cartesian closed category, called Cho, based on event structures. It allows an interpretation of higher-order stateful concurrent programs that is refined and precise: on the one hand it is conservative with respect to standard Hyland-Ong

Externí odkaz: https://doaj.org/article/8ccbe1c5463140a581b1b301367a57df

Games and Strategies as Event Structures

Autor: Simon Castellan, Pierre Clairambault, Silvain Rideau, Glynn Winskel

Publikováno v: Logical Methods in Computer Science, Vol Volume 13, Issue 3 (2017)

In 2011, Rideau and Winskel introduced concurrent games and strategies as event structures, generalizing prior work on causal formulations of games. In this paper we give a detailed, self-contained and slightly-updated account of the results of Ridea

Externí odkaz: https://doaj.org/article/98a4f8ac3e354590b83690c0b79d5367

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

Autor: Pierre Clairambault, Peter Dybjer, Simon Castellan

Publikováno v: Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics ISBN: 9783030665449
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics, 20, Springer International Publishing, pp.135-180, 2021, Outstanding Contributions to Logic, ⟨10.1007/978-3-030-66545-6_5⟩

We show how the categorical logic of the untyped, simply typed and dependently typed lambda calculus can be structured around the notion of category with families (cwf). To this end we introduce subcategories of simply typed cwfs (scwfs), where types

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::59efd880a7ae4049c916671ae2fbfaa6
https://doi.org/10.1007/978-3-030-66545-6_5

Probabilistic Programming Inference via Intensional Semantics

Autor: Hugo Paquet, Simon Castellan

Publikováno v: Programming Languages and Systems ISBN: 9783030171834
ESOP

We define a new denotational semantics for a first-order probabilistic programming language in terms of probabilistic event structures. This semantics is intensional, meaning that the interpretation of a program contains information about its behavio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b83483f93c9f81d7a70fc634c163cde6
https://doi.org/10.1007/978-3-030-17184-1_12

The concurrent game semantics of Probabilistic PCF

Autor: Pierre Clairambault, Simon Castellan, Glynn Winskel, Hugo Paquet

Publikováno v: the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018)
the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018), Jul 2018, Oxford, France. ⟨10.1145/3209108.3209187⟩
LICS
Symposium on Logic in Computer Science (LCIS 2018)

We define a new games model of Probabilistic PCF (PPCF) by enriching thin concurrent games with symmetry, recently introduced by Castellan et al, with probability. This model supports two interpretations of PPCF, one sequential and one parallel. We m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::013f7e7cd115a9486537579553befe74
https://hal.science/hal-01886965