Data structures for topologically sound higher-dimensional diagram rewritingHadzihasanovic, Amar; Kessler, Diana-Maria5th International Conference on Applied Category Theory, ACT 2022, Hybrid, Glasgow, 18-22 July 20222023 / p. 111-127 : ill https://doi.org/10.4204/EPTCS.380.7 Conference proceedings at Scopus Article at Scopus Article at WOS