33 citations · 33 across the 1 of their papers we have counts for
1 paper
Francois Lamarche, Lutz Strassburger
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 well-known theory of unit-…