Pages that link to "Item:Q2148789"

The following pages link to Coherence via focusing for symmetric skew monoidal categories (Q2148789):

Displaying 3 items.

• A practical type theory for symmetric monoidal categories (Q5006460) (← links)
• LNL polycategories and doctrines of linear logic (Q6135749) (← links)
• Proof theory of skew non-commutative \texttt{MILL} (Q6659903) (← links)