Topos Institute

Home
Work
Team
Events
Blog
Get Involved

Computational category-theoretic rewriting

Authors

Kristopher Brown

Evan Patterson

Tyler Hanks

James Fairbanks

Doi

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

Website built with Quarto

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