Follow
Cole Comfort
Title
Cited by
Cited by
Year
A Graphical Calculus for Lagrangian Relations
C Comfort, A Kissinger
Proceedings of the Fourth International Conference on Applied Category …, 2021
172021
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
Coend Optics for Quantum Combs
C Comfort, J Hefford
Proceedings of the Fifth International Conference on Applied Category Theory, 2022
13*2022
Sheet diagrams for bimonoidal categories
C Comfort, A Delpeuch, J Hedges
https://arxiv.org/abs/2010.13361, 2020
13*2020
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
Dagger linear logic for categorical quantum mechanics
R Cockett, C Comfort, P Srinivasan
Logical Methods in Computer Science 17 (4), 2021
112021
The Algebra for Stabilizer Codes
C Comfort
https://arxiv.org/abs/2304.10584, 2023
42023
Classifying reversible logic gates with ancillary bits
CR Comfort
University of Calgary, 2019
42019
Graphical Symplectic Algebra
RI Booth, T Carette, C Comfort
arXiv preprint arXiv:2401.07914, 2024
32024
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
Complete equational theories for classical and quantum Gaussian relations
RI Booth, T Carette, C Comfort
arXiv preprint arXiv:2403.10479, 2024
12024
Notes on profunctors and compact multiplicative linear logic
C Comfort
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–15