nLab Aleks Kissinger (changes)

Showing changes from revision #6 to #7: Added | Removed | Changed

• website

  persinal page

• inSpire page

• GoogleScholar page

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](https://www.cs.ox.ac.uk/people/bob.coecke/Aleks.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](https://doi.org/10.1007/978-3-642-02614-0_12)]

On quantum information theory via dagger-compact categories:

• Bob Coecke, Aleks Kissinger, Picturing Quantum Processes – A First Course in Quantum Theory and Diagrammatic Reasoning, Cambridge University Press (2017) [[ISBN:9781107104228](https://www.cambridge.org/ae/academic/subjects/physics/quantum-physics-quantum-information-and-quantum-computation/picturing-quantum-processes-first-course-quantum-theory-and-diagrammatic-reasoning?format=HB&isbn=9781107104228)]

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

• Fatimah Rita Ahmadi, Aleks Kissinger , :Topological Quantum Computation Through the Lens of Categorical Quantum Mechanics , Journal of Physics A: Mathematical and Theoretical$[$56 41 (2023) [doi:10.1088/1751-8121/acef7e, arXiv:2211.03855$]$]

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

• Krzysztof Bar, Aleks Kissinger, Jamie Vicary, Globular: an online proof assistant for higher-dimensional rewriting, Logical Methods in Computer Science 14 1 (2018) [[doi:10.23638/LMCS-14(1:8)2018](https://doi.org/10.23638/LMCS-14(1:8)2018), arXiv:1612.01093]

Related entries

• quantum information
• rewriting