Work

Computational category-theoretic rewriting

Year: 2023

Type: article

Source: Journal of Logical and Algebraic Methods in Programming

DOI: 10.1016/j.jlamp.2023.100888

Authors: Kristopher Brown, Evan Patterson, Tyler Hanks, James Fairbanks

Institutions: Topos Institute, University of Florida

Language: English

Topic: Model-Driven Software Engineering Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Defense Advanced Research Projects Agency

Award: G1338162495

OpenAlex ID: W4381850106

FWCI: 1.474

Cites: 26

Cited by: 6

Related to: 10