Home
Work
Team
Events
Blog
Get Involved

Computational category-theoretic rewriting

Authors

Kristopher Brown

Evan Patterson

Tyler Hanks

James Fairbanks

Doi

10.1016/j.jlamp.2023.100888

Website built with Quarto

Topos Institute is a registered non-profit in the state of California (EIN 84-3431367)