nLab Aleks Kissinger

Selected writings

On classical structures in the quantum information theory via dagger-compact categories and their graphical formalization in the ZX-calculus:

  • Aleks Kissinger, Graph Rewrite Systems for Classical Structures in \dagger-Symmetric Monoidal Categories, MSc thesis, Oxford (2008) [pdf, pdf]

  • Aleks Kissinger, Exploring a Quantum Theory with Graph Rewriting and Computer Algebra, in: Intelligent Computer Mathematics. CICM 2009, Lecture Notes in Computer Science 5625 (2009) 90-105 [doi:10.1007/978-3-642-02614-0_12]

On quantum information theory via dagger-compact categories:

Relating the ZX-calculus to braided fusion categories for anyon braiding:

On the online proof assistant Globular for higher dimensional rewriting via semistrict globular higher categories:

category: people

Last revised on July 11, 2023 at 20:27:20. See the history of this page for a list of all contributions to it.