1 paper
Richard Blute, Rose Kudzman-Blais, Susan Niefield
Linearly distributive categories were introduced to model the tensor/par fragment of linear logic, without resorting to the use of negation. Linear bicategories are the bicategoric…