The following pages link to (Q5875359):
Displaying 6 items.
- Chamber systems with string diagrams (Q1059855) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- String bracket and flat connections (Q2464749) (← links)
- A practical type theory for symmetric monoidal categories (Q5006460) (← links)
- Completeness of Nominal PROPs (Q5883754) (← links)
- On the Pre- and Promonoidal Structure of Spacetime (Q6150163) (← links)