Proof nets for multiplicative-additive linear logic.
Rob van Glabbeek
In this talk I will review the definition of MALL proof net of Dominic
Hughes and myself, and compare it with Girard's proof nets.
I will discuss a couple of alternatives to deal with cut,
and state precisely how proof nets capture proofs modulo inessential
rule commutations.
http://theory.stanford.edu/~rvg/abstracts.html#57