TY  - RPRT
TI  - Computational category-theoretic rewriting
AU  - Kristopher Brown
AU  - Evan Patterson
AU  - Tyler Hanks
AU  - James Fairbanks
PY  - 2023
UR  - https://arxiv.org/abs/2111.03784
ID  - 2111.03784
ER  -