← All tags

Tag: rewriting

1. Categories, PROPs, and control: a compositional language for circuit reasoning
   2026-02-11 12 min read category-theoryPROPrewritingcontrol