Computational category-theoretic rewriting

Authors

Kristopher Brown

Evan Patterson

Tyler Hanks

James Fairbanks

Doi

10.1007/978-3-031-09843-7_9