Follow
Cole Comfort
Title
Cited by
Cited by
Year
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
142017
A Graphical Calculus for Lagrangian Relations
C Comfort, A Kissinger
Proceedings of the Fourth International Conference on Applied Category …, 2021
132021
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
122021
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
112021
Classifying reversible logic gates with ancillary bits
CR Comfort
University of Calgary, 2019
42019
Distributive Laws, Spans and the ZX-Calculus
C Comfort
https://arxiv.org/abs/2102.04386, 2021
22021
Circuit relations for real stabilizers: Towards TOF+ H
C Comfort
arXiv preprint arXiv:1904.10614, 2019
22019
The Algebra for Stabilizer Codes
C Comfort
https://arxiv.org/abs/2304.10584, 2023
12023
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
The system can't perform the operation now. Try again later.
Articles 1–14