Type Isomorphisms for Multiplicative-Additive Linear Logic. - Rémi Di Guardia; Olivier Laurent 001 (FSCD, 2023)

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 (2024)

Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic. - Rémi Di Guardia; Olivier Laurent 001; Lorenzo Tortora de Falco; Lionel Vaux Auclair (FSCD, 2025)