4 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
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…