From Proof Nets to the Free *-Autonomous Category

François Lamarche, Lutz Straßburger. From Proof Nets to the Free *-Autonomous Category. Logical Methods in Computer Science, 2(4), 2006. [doi]

Abstract

Abstract is missing.