2 citations · 2 across the 1 of their papers we have counts for
1 paper
Niccolò Veltri, Cheng-Syuan Wan
This work concerns the proof theory of (left) skew monoidal categories and their variants (e.g. closed monoidal, symmetric monoidal), continuing the line of work initiated in recen…