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

Rmi Di Guardia, Olivier Laurent, Lorenzo Tortora de Falco, Lionel Vaux Auclair

Browse the full FSCD paper archive.