194 citations · 1.2k across the 78 of their papers we have counts for
4 papers · 1 filter
Strong Complementarity and Non-locality in Categorical Quantum Mechanics
Bob Coecke, Ross Duncan, Aleks Kissinger +1
Categorical quantum mechanics studies quantum theory in the framework of dagger-compact closed categories. Using this framework, we establish a tight relationship between two key q…
Pattern graph rewrite systems
Aleks Kissinger, Alex Merry, Matvey Soloviev
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. Dixon, Duncan and Kissinger in…
Pictures of Processes: Automated Graph Rewriting for Monoidal Categories and Applications to Quantum Computing
Aleks Kissinger
This work is about diagrammatic languages, how they can be represented, and what they in turn can be used to represent. More specifically, it focuses on representations and applica…
Synthesising Graphical Theories
Aleks Kissinger
In recent years, diagrammatic languages have been shown to be a powerful and expressive tool for reasoning about physical, logical, and semantic processes represented as morphisms…