Sequentialization for full N-Graphs via sub-N-Graphs

Ruan V. B. Carvalho, Lais S. Andrade, Anjolina G. de Oliveira +1

Since proof-nets for MLL- were introduced by Girard (1987), several studies have appeared dealing with its soundness proof. Bellin & Van de Wiele (1995) produced an elegant proof b…