Seguir
Cole Comfort
Cole Comfort
Postdoc, Inria
Dirección de correo verificada de inria.fr - Página principal
Título
Citado por
Citado por
Año
A Graphical Calculus for Lagrangian Relations
C Comfort, A Kissinger
Proceedings of the Fourth International Conference on Applied Category …, 2021
202021
Coend Optics for Quantum Combs
C Comfort, J Hefford
Proceedings of the Fifth International Conference on Applied Category Theory, 2022
16*2022
The Category TOF
R Cockett, C Comfort
Proceedings of the 15th International Conference on Quantum Physics and …, 2018
15*2018
Dagger linear logic for categorical quantum mechanics
R Cockett, C Comfort, P Srinivasan
Logical Methods in Computer Science 17 (4), 2021
142021
Sheet diagrams for bimonoidal categories
C Comfort, A Delpeuch, J Hedges
https://arxiv.org/abs/2010.13361, 2020
14*2020
The Category CNOT
R Cockett, C Comfort, P Srinivasan
Proceedings of the 14th International Conference on Quantum Physics and …, 2017
142017
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
Graphical symplectic algebra
RI Booth, T Carette, C Comfort
arXiv preprint arXiv:2401.07914, 2024
62024
The Algebra for Stabilizer Codes
C Comfort
https://arxiv.org/abs/2304.10584, 2023
62023
Classifying reversible logic gates with ancillary bits
CR Comfort
University of Calgary, 2019
42019
Complete equational theories for classical and quantum Gaussian relations
RI Booth, T Carette, C Comfort
arXiv preprint arXiv:2403.10479, 2024
22024
A Diagrammatic Approach to Networks of Spans and Relations
C Comfort
PQDT-Global, 2023
2023
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–12