Compositional rewrite double categories
(Redirected from Compositional rewrite Double Categories)
Jump to navigation
Jump to search
This is a formal structure invented by Nicolas Behr.
This is a formal structure invented by Nicolas Behr.