Cut Elimination for Monomial MALL Proof Nets.

Olivier Laurent, Roberto Maieli

Browse the full LICS paper archive.