Pages that link to "Item:Q5145345"

The following pages link to Ribbon Tensorial Logic (Q5145345):

Displaying 4 items.

• Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
• Clones, closed categories, and combinatory logic (Q6629524) (← links)
• A braided lambda calculus (Q6657786) (← links)