Pages that link to "Item:Q2842817"
From MaRDI portal
The following pages link to GS\(\cdot \Lambda \) theories: a syntax for higher-order graphs (Q2842817):
Displaying 5 items.
- A higher-order calculus for graph transformation (Q2843932) (← links)
- On GS-Monoidal Theories for Graphs with Nesting (Q3059707) (← links)
- Variable Binding, Symmetric Monoidal Closed Theories, and Bigraphs (Q3184683) (← links)
- Models of Computation: A Tribute to Ugo Montanari’s Vision (Q3507385) (← links)
- Free gs-monoidal categories and free Markov categories (Q6102159) (← links)