Pages that link to "Item:Q5014602"

The following pages link to The Sequent Calculus of Skew Monoidal Categories (Q5014602):

Displaying 3 items.

• Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
• A practical type theory for symmetric monoidal categories (Q5006460) (← links)
• Proof theory of skew non-commutative \texttt{MILL} (Q6659903) (← links)