Keyword:proof-net

Publications
Confluence for Proof-Nets via Parallel Cut Elimination Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco and Lionel Vaux Auclair In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Bottom-up Sequentialization of Unit-Free MALL Proof Nets Rémi Di Guardia and Olivier Laurent EasyChair Preprint 8431