Compositional rewrite double categories

From PKC

Revision as of 08:31, 10 June 2022 by Benkoo (talk | contribs) (Created page with "This is a formal structure invented by Nicolas Behr.")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

This is a formal structure invented by Nicolas Behr.

Retrieved from "https://pkc.pub/index.php?title=Compositional_rewrite_double_categories&oldid=31805"