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

Rémi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco +1

We revisit sequentialization proofs associated with the Danos-Regnier correctness criterion in the theory of proof nets of linear logic. Our approach relies on a generalization of…