Wolfram Kahl, Yuhang Zhao. A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs. In José Luiz Fiadeiro, Ionut Tutu, editors, Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers. Volume 11563 of Lecture Notes in Computer Science, pages 103-118, Springer, 2018. [doi]
Abstract is missing.