Proof nets for unit-free multiplicative additive linear logic (Extended abstract (2003)

by D J D Hughes, R J v Glabbeek
Venue:In Proc. LICS’03