Pages that link to "Item:Q2134838"
From MaRDI portal
The following pages link to The sequent calculus of skew monoidal categories (Q2134838):
Displaying 6 items.
- Skew-enriched categories (Q722252) (← links)
- Eilenberg-Kelly reloaded (Q2133479) (← links)
- The Sequent Calculus of Skew Monoidal Categories (Q5014602) (← links)
- Proof Theory of Partially Normal Skew Monoidal Categories (Q5019679) (← links)
- Braided skew monoidal categories (Q5213343) (← links)
- LNL polycategories and doctrines of linear logic (Q6135749) (← links)
