| No. |
Title |
Author |
Year |
| 1 |
Strategies as Resource Terms, and Their Categorical Semantics |
Blondeau-Patissier, Lison et al. |
2023 |
| 2 |
Positional Injectivity for Innocent Strategies |
Blondeau-Patissier, Lison et al. |
2021 |
| 3 |
On the Expressivity of Linear Recursion Schemes |
Clairambault, Pierre et al. |
2019 |
| 4 |
Fully Abstract Models of the Probabilistic lambda-calculus |
Clairambault, Pierre et al. |
2018 |
| 5 |
The True Concurrency of Herbrand's Theorem |
Alcolei, Aurore et al. |
2018 |
| 6 |
Distributed Strategies Made Easy |
Castellan, Simon et al. |
2017 |
| 7 |
Observably Deterministic Concurrent Strategies and Intensional Full Abstraction for Parallel-or |
Castellan, Simon et al. |
2017 |
| 8 |
Causality vs. Interleavings in Concurrent Game Semantics |
Castellan, Simon et al. |
2016 |
| 9 |
Undecidability of Equality in the Free Locally Cartesian Closed Category |
Castellan, Simon et al. |
2015 |
| 10 |
Böhm Trees as Higher-Order Recursive Schemes |
Clairambault, Pierre et al. |
2013 |
