| Publication | Date of Publication | Type |
|---|
Traced monoidal categories as algebraic structures in $\mathbf{Prof}$
(available as arXiv preprint) | N/A | Paper |
Computads for weak \omega-categories as an inductive type
(available as arXiv preprint) | N/A | Paper |
A layout algorithm for higher-dimensional string diagrams
(available as arXiv preprint) | N/A | Paper |
The theory and applications of anticolimits
(available as arXiv preprint) | N/A | Paper |
homotopy.io: a proof assistant for finitely-presented globular $n$-categories
(available as arXiv preprint) | N/A | Paper |
| Homotopy.io: a proof assistant for finitely-presented globular n-categories | 2026-01-14 | Paper |
| Posetal diagrams for logically-structured semistrict higher categories | 2025-08-05 | Paper |
| A categorical model for classical and quantum block designs | 2025-08-05 | Paper |
| A syntax for strictly associative and unital -categories | 2025-06-18 | Paper |
| High-level methods for homotopy construction in associative \(n\)-categories | 2024-12-19 | Paper |
| Traced monoidal categories as algebraic structures in Prof | 2024-12-17 | Paper |
| Zigzag normalisation for associative n-categories | 2024-12-06 | Paper |
| A type theory for strictly unital -categories | 2024-12-06 | Paper |
From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics
Journal of Physics A: Mathematical and Theoretical | 2024-08-12 | Paper |
Computads for weak -categories as an inductive type
Advances in Mathematics | 2024-06-27 | Paper |
The word problem for braided monoidal categories is unknot-hard
(available as arXiv preprint) | 2024-02-13 | Paper |
| The word problem for braided monoidal categories is unknot-hard | 2024-02-13 | Paper |
| On Structures in Arrow Categories | 2023-09-27 | Paper |
| Posetal Diagrams for Logically-Structured Semistrict Higher Categories | 2023-05-19 | Paper |
| From dual-unitary to biunitary: a 2-categorical model for exactly-solvable many-body quantum dynamics | 2023-02-14 | Paper |
| Strictly Associative and Unital \infty-Categories as a Generalized Algebraic Theory | 2023-02-10 | Paper |
| Zigzag normalisation for associative n-categories | 2022-05-18 | Paper |
scientific article; zbMATH DE number 7471699 (Why is no real title available?)
(available as arXiv preprint) | 2022-02-09 | Paper |
| scientific article; zbMATH DE number 7471699 (Why is no real title available?) | 2022-02-09 | Paper |
| Traced Monoidal Categories as Algebraic Structures in Prof | 2021-12-28 | Paper |
Orthogonality for quantum Latin isometry squares
(available as arXiv preprint) | 2021-12-20 | Paper |
| Orthogonality for quantum Latin isometry squares | 2021-12-20 | Paper |
Shaded tangles for the design and verification of quantum programs (extended abstract)
(available as arXiv preprint) | 2021-12-17 | Paper |
| Shaded tangles for the design and verification of quantum programs (extended abstract) | 2021-12-17 | Paper |
Tight reference frame-independent quantum teleportation
(available as arXiv preprint) | 2021-12-08 | Paper |
| Tight reference frame-independent quantum teleportation | 2021-12-08 | Paper |
scientific article; zbMATH DE number 7441265 (Why is no real title available?)
(available as arXiv preprint) | 2021-12-08 | Paper |
| scientific article; zbMATH DE number 7441265 (Why is no real title available?) | 2021-12-08 | Paper |
Shaded tangles for the design and verification of quantum circuits
Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences | 2021-10-29 | Paper |
| A Type Theory for Strictly Associative Infinity Categories | 2021-09-03 | Paper |
Abstract structure of unitary oracles for quantum algorithms
(available as arXiv preprint) | 2021-06-29 | Paper |
| Abstract structure of unitary oracles for quantum algorithms | 2021-06-29 | Paper |
Mixed quantum states in higher categories
(available as arXiv preprint) | 2021-06-29 | Paper |
| Mixed quantum states in higher categories | 2021-06-29 | Paper |
A 2-categorical analysis of complementary families, quantum key distribution and the mean king problem
(available as arXiv preprint) | 2021-06-29 | Paper |
| A 2-categorical analysis of complementary families, quantum key distribution and the mean king problem | 2021-06-29 | Paper |
Data structures for quasistrict higher categories
(available as arXiv preprint) | 2021-01-19 | Paper |
| Data structures for quasistrict higher categories | 2021-01-19 | Paper |
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
(available as arXiv preprint) | 2019-08-06 | Paper |
| Categories for Quantum Theory | 2019-07-17 | Paper |
Biunitary constructions in quantum information
(available as arXiv preprint) | 2019-06-19 | Paper |
A classical groupoid model for quantum networks
(available as arXiv preprint) | 2019-05-17 | Paper |
| High-level methods for homotopy construction in associative n-categories | 2019-02-11 | Paper |
| A classical groupoid model for quantum networks | 2018-08-13 | Paper |
| A 2-Categorical Approach to Composing Quantum Structures. | 2018-08-13 | Paper |
\textsf{Globular}: an online proof assistant for higher-dimensional rewriting
(available as arXiv preprint) | 2018-01-23 | Paper |
The categorified Heisenberg algebra. I: A combinatorial representation.
Journal of Pure and Applied Algebra | 2017-10-24 | Paper |
The categorified Heisenberg algebra. I: A combinatorial representation.
Journal of Pure and Applied Algebra | 2017-10-24 | Paper |
| Globular: an online proof assistant for higher-dimensional rewriting | 2017-10-17 | Paper |
Topological structure of quantum algorithms
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Higher semantics of quantum protocols
2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
Categorical formulation of finite-dimensional C^*-algebras
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Categorical properties of the complex numbers
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Bicategorical semantics for nondeterministic computation
(available as arXiv preprint) | 2016-04-12 | Paper |
| Modular categories as representations of the 3-dimensional bordism 2-category | 2015-09-22 | Paper |
Wormholes and entanglement
Classical and Quantum Gravity | 2014-12-16 | Paper |
| Extended 3-dimensional bordism as the theory of modular objects | 2014-11-04 | Paper |
Completeness of -categories and the complex numbers
Journal of Mathematical Physics | 2013-09-24 | Paper |
A new description of orthogonal bases
Mathematical Structures in Computer Science | 2013-06-11 | Paper |
| Higher Quantum Theory | 2012-07-19 | Paper |
Categorical formulation of finite-dimensional quantum algebras
Communications in Mathematical Physics | 2011-06-17 | Paper |
A categorical framework for the quantum harmonic oscillator
International Journal of Theoretical Physics | 2009-03-24 | Paper |
