Pages that link to "Item:Q2786132"
From MaRDI portal
The following pages link to Initial Algebra Semantics for Cyclic Sharing Tree Structures (Q2786132):
Displaying 3 items.
- Theory and practice of second-order rewriting: foundation, evolution, and SOL (Q2039930) (← links)
- The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics (Q3130301) (← links)
- Fregel: a functional domain-specific language for vertex-centric large-scale graph processing (Q5063249) (← links)
