Tags

• category-theory
• circuits
• control
• equational-theory
• fragments
• PROP
• quantum-computing
• rewriting