| No. |
Title |
Author |
Year |
| 1 |
Division by Two, in Homotopy Type Theory |
Mimram, Samuel et al. |
2022 |
| 2 |
A Sound Foundation for the Topological Approach to Task Solvability |
Ledent, Jérémy et al. |
2019 |
| 3 |
Brief Announcement: On the Impossibility of Detecting Concurrency |
Goubault, Éric et al. |
2018 |
| 4 |
Coherence of Gray Categories via Rewriting |
Forest, Simon et al. |
2018 |
| 5 |
Concurrent Specifications Beyond Linearizability |
Goubault, Éric et al. |
2018 |
| 6 |
Homological Computations for Term Rewriting Systems |
Malbos, Philippe et al. |
2016 |
| 7 |
Presenting a Category Modulo a Rewriting System |
Clerc, Florence et al. |
2015 |
| 8 |
A Homotopical Completion Procedure with Applications to Coherence of Monoids |
Guiraud, Yves et al. |
2013 |
| 9 |
A Non-Standard Semantics for Kahn Networks in Continuous Time |
Beauxis, Romain et al. |
2011 |
| 10 |
Computing Critical Pairs in 2-Dimensional Rewriting Systems |
Mimram, Samuel |
2010 |
