Dominic Hughes - Selected Papers

Proof nets for Unit-Free Multiplicative-Additive Linear Logic.
Slides for Logic in Computer Science 2003.
Click to view a slide.