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