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