Pages that link to "Item:Q4625697"

The following pages link to (Q4625697):

Displaying 5 items.

• Eilenberg-Kelly reloaded (Q2133479) (← links)
• Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
• The Sequent Calculus of Skew Monoidal Categories (Q5014602) (← links)
• Proof Theory of Partially Normal Skew Monoidal Categories (Q5019679) (← links)
• Proof theory of skew non-commutative \texttt{MILL} (Q6659903) (← links)