TY  - RPRT
TI  - Yeo's Theorem for Locally Colored Graphs: the Path to Sequentialization in Linear Logic
AU  - Rémi Di Guardia
AU  - Olivier Laurent
AU  - Lorenzo Tortora de Falco
AU  - Lionel Vaux Auclair
PY  - 2026
UR  - https://arxiv.org/abs/2603.03262
ID  - 2603.03262
ER  -