Rémi Di Guardia

According to our database, Rémi Di Guardia authored at least 5 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Quantum Bayesian Networks: Compositionality and Typing via Linear Logic.

Rémi Di Guardia, Thomas Ehrhard, Claudia Faggian

CoRR, April, 2026

Bayesian Networks and Proof-Nets: the proof-theory of Bayesian Inference.

Rémi Di Guardia, Thomas Ehrhard, Jérôme Evrard, Claudia Faggian

CoRR, February, 2026

2025

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic.

Rémi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2024

Identity of Proofs and Formulas using Proof-Nets in Multiplicative-Additive Linear Logic. (Identité des preuves et formules par l'usage des réseaux de preuve en logique linéaire multiplicative-additive).

Rémi Di Guardia

PhD thesis, 2024

2023

Type Isomorphisms for Multiplicative-Additive Linear Logic.

Rémi Di Guardia, Olivier Laurent

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023