Institute Output

Fast Automated Reasoning over String Diagrams using Multiway Causal Structure

Jonathan Gorard 2021-05-10 Jonathan Gorard 2021-05-10

Fast Automated Reasoning over String Diagrams using Multiway Causal Structure

Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla

Read More

ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory

Jonathan Gorard 2020-10-05 Jonathan Gorard 2020-10-05

ZX-Calculus and Extended Hypergraph Rewriting Systems I: A Multiway Approach to Categorical Quantum Information Theory

Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla

Read More