Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract).

Dominic J. D. Hughes, Rob J. van Glabbeek

Browse the full LICS paper archive.