Pages that link to "Item:Q5166761"
From MaRDI portal
The following pages link to A Programming Language for Spatial Distribution of Net Systems (Q5166761):
Displaying 5 items.
- Extended Nested Dual System Groups, Revisited (Q2798774) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
- Semantics for a lambda calculus for string diagrams (Q6612802) (← links)
