Rémi Di Guardia

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

Collaborative distances:

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

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