3 citations · 3 across the 1 of their papers we have counts for
1 paper
Cheng-Syuan Wan
This work studies the proof theory of left (right) skew monoidal closed categories and skew monoidal bi-closed categories from the perspective of non-associative Lambek calculus. S…