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

Dominic J. D. Hughes, Rob J. van Glabbeek (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics