Login / Signup

String diagram rewrite theory II: Rewriting with symmetric monoidal structure.

Filippo BonchiFabio GadducciAleks KissingerPawel SobocinskiFabio Zanasi
Published in: Math. Struct. Comput. Sci. (2022)
Keyphrases
  • rewrite rules
  • data structure
  • structural properties
  • theoretical basis
  • equational theories
  • computational model
  • rewriting rules