Institute Output

Homotopies in Multiway (Non-Deterministic) Rewriting Systems as n-Fold Categories
Xerxes D. Arsiwalla, Jonathan Gorard, Hatem Elshatlawy

Fast Automated Reasoning over String Diagrams using Multiway Causal Structure
Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla

ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification
Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla