Pages that link to "Item:Q2148789"

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

Displaying 2 items.

• LNL polycategories and doctrines of linear logic (Q6135749) (← links)
• Maximally multi-focused proofs for skew non-commutative \texttt{MILL} (Q6199592) (← links)