On Proof Nets for Multiplicative Linear Logic with Units.

Lutz Straburger, Franois Lamarche

Browse the full CSL paper archive.