Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

Computational category-theoretic rewriting

20234 citationsJournal Article

Authors

Kristopher Brown · Topos

Evan Patterson · Topos

Tyler Hanks · University of Florida

James Fairbanks · University of Florida

Topics & Keywords

Model-Driven Software Engineering Techniques Software Engineering Research Software Testing and Debugging Techniques

Publication Details

Published in: Journal of Logical and Algebraic Methods in Programming

Volume 134, pp. 100888-100888

DOI: 10.1016/j.jlamp.2023.100888

Field-Weighted Citation Impact: 0.88

Computational category-theoretic rewriting | Researchclopedia