Computational category-theoretic rewriting

Document Details

Document Type
Pub Defense Publication
Publication Date
Aug 01, 2023
Source ID
10.1016/j.jlamp.2023.100888

Entities

People

  • Evan Patterson
  • James Fairbanks
  • Kristopher Brown
  • Tyler Hanks

Organizations

  • Defense Advanced Research Projects Agency