Subnets of proof-nets in multiplicative linear logic with MIX (1997)

by Gianluigi Bellin
Venue:Mathematical Structures in Computer Science