A flexible categorial formalisation of term graphs as directed hypergraphs

DOI10.1007/978-3-030-23220-7_6zbMath1444.68053OpenAlexW2953799021MaRDI QIDQ2185888

Wolfram Kahl, Yuhang Zhao

Publication date: 8 June 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-23220-7_6

Mathematics Subject Classification ID

Hypergraphs (05C65) Grammars and rewriting systems (68Q42) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Agda

Cites Work

• Unnamed Item
• Unnamed Item
• Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
• An algebraic presentation of term graphs, via gs-monoidal categories
• Categories of Coalgebras with Monadic Homomorphisms
• Implementing term rewriting by jungle evaluation

This page was built for publication: A flexible categorial formalisation of term graphs as directed hypergraphs