The Category TOF R Cockett, C Comfort Proceedings of the 15th International Conference on Quantum Physics and …, 2018 | 15* | 2018 |
The Category CNOT R Cockett, C Comfort, P Srinivasan Proceedings of the 14th International Conference on Quantum Physics and …, 2017 | 14 | 2017 |
A Graphical Calculus for Lagrangian Relations C Comfort, A Kissinger Proceedings of the Fourth International Conference on Applied Category …, 2021 | 13 | 2021 |
The ZX&-calculus: A complete graphical calculus for classical circuits using spiders C Comfort Proceedings of the 17th International Conference on Quantum Physics and …, 2021 | 12 | 2021 |
Sheet diagrams for bimonoidal categories C Comfort, A Delpeuch, J Hedges https://arxiv.org/abs/2010.13361, 2020 | 12* | 2020 |
Coend Optics for Quantum Combs C Comfort, J Hefford Proceedings of the Fifth International Conference on Applied Category Theory, 2022 | 11* | 2022 |
Dagger linear logic for categorical quantum mechanics R Cockett, C Comfort, P Srinivasan Logical Methods in Computer Science 17 (4), 2021 | 11 | 2021 |
Classifying reversible logic gates with ancillary bits CR Comfort University of Calgary, 2019 | 4 | 2019 |
Distributive Laws, Spans and the ZX-Calculus C Comfort https://arxiv.org/abs/2102.04386, 2021 | 2 | 2021 |
Circuit relations for real stabilizers: Towards TOF+ H C Comfort arXiv preprint arXiv:1904.10614, 2019 | 2 | 2019 |
The Algebra for Stabilizer Codes C Comfort https://arxiv.org/abs/2304.10584, 2023 | 1 | 2023 |
Complete equational theories for classical and quantum Gaussian relations RI Booth, T Carette, C Comfort arXiv preprint arXiv:2403.10479, 2024 | | 2024 |
Graphical Symplectic Algebra RI Booth, T Carette, C Comfort arXiv preprint arXiv:2401.07914, 2024 | | 2024 |
A diagrammatic approach to networks of spans and relations C Comfort University of Oxford, 2023 | | 2023 |