194 citations · 1.2k across the 78 of their papers we have counts for
6 papers · 1 filter
Proceedings Second Graphs as Models Workshop
Alexander Heußner, Aleks Kissinger, Anton Wijs
Graphs are used as models in all areas of computer science: examples are state space graphs, control flow graphs, syntax graphs, UML-type models of all kinds, network layouts, soci…
Globular: an online proof assistant for higher-dimensional rewriting
Krzysztof Bar, Aleks Kissinger, Jamie Vicary
This article introduces Globular, an online proof assistant for the formalization and verification of proofs in higher-dimensional category theory. The tool produces graphical visu…
Graphical Structures for Design and Verification of Quantum Error Correction
Nicholas Chancellor, Aleks Kissinger, Joschka Roffe +2
We introduce a high-level graphical framework for designing and analysing quantum error correcting codes, centred on what we term the coherent parity check (CPC). The graphical for…
Categorical Quantum Mechanics II: Classical-Quantum Interaction
Bob Coecke, Aleks Kissinger
This is the second part of a three-part overview, in which we derive the category-theoretic backbone of quantum theory from a process ontology, treating quantum theory as a theory…
The CBH characterisation theorem beyond algebraic quantum theory
Chris Heunen, Aleks Kissinger
The CBH theorem characterises quantum theory within a C*-algebraic framework. Namely, mathematical properties of C*-algebras modelling quantum systems are equivalent to constraints…
Rewriting modulo symmetric monoidal structure
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger +2
String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal categories (SMCs). They find many applications in computer science and are becoming in…