publications
2023
- The ZX-calculus as a language for topological quantum computationJournal of Physics A: Mathematical and Theoretical, 2023
2022
- Topological Quantum Computation Through the Lens of Categorical Quantum MechanicsarXiv e-prints, 2022
- Bicategorical aspects of topological quantum computationUniversity of Oxford, 2022
2020
- Monoidal 2-Categories: A Review2020
2019
- Typing Tensor Calculus in 2-CategoriesarXiv preprint arXiv:1908.01212, 2019