https://lmcs.episciences.org/2239
#2239 - From Proof Nets to the Free *-Autonomous Category
In the first part of this paper we present a theory of proof nets for full multiplicative linear logic, including the two units. It naturally extends the...
proof netsto theautonomous categoryfree