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

Dominic J. D. Hughes Rob J. van Glabbeek Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract). 1-10 2003 conf/lics/2003 LICS http://csdl.computer.org/comp/proceedings/lics/2003/1884/00/18840001abs.htm db/conf/lics/lics2003.html#HughesG03