Confluence for Proof-Nets via Parallel Cut Elimination.

Giulio Guerrieri, Giulia Manara, Lorenzo Tortora de Falco, Lionel Vaux Auclair

Browse the full LPAR paper archive.