Rmi Di Guardia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
1
Active years
2023–2026
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FSCD | Quantum Bayesian Networks: Compositionality and Typing via Linear Logic. | Rmi Di Guardia, Thomas Ehrhard, Claudia Faggian |
| 2025 | FSCD | Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic. | Rmi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair |
| 2023 | FSCD | Type Isomorphisms for Multiplicative-Additive Linear Logic. | Rmi Di Guardia, Olivier Laurent |