Pages that link to "Item:Q5006460"

The following pages link to A practical type theory for symmetric monoidal categories (Q5006460):

Displaying 3 items.

• Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
• The syntactic side of autonomous categories enriched over generalised metric spaces (Q6178714) (← links)
• Cartesian double theories: a double-categorical framework for categorical doctrines (Q6492255) (← links)