kris-brown/Computational-Category-Theoretic-Rewriting

Notebooks to accompany the paper of the same name.

Jupyter Notebook