Cole Comfort

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 11

Top Topics

Algebraic Structures

Quantum Mechanics

Prize Collecting

Top Venues

Log. Methods Comput. Sci.

Publications

Robert I. Booth, Titouan Carette, Cole Comfort
Graphical Symplectic Algebra. CoRR (2024)
Robert I. Booth, Titouan Carette, Cole Comfort
Complete equational theories for classical and quantum Gaussian relations. CoRR (2024)
Cole Comfort
The Algebra for Stabilizer Codes. CoRR (2023)
James Hefford, Cole Comfort
Coend Optics for Quantum Combs. CoRR (2022)
Cole Comfort
Distributive Laws, Spans and the ZX-Calculus. CoRR (2021)
J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan
Dagger linear logic for categorical quantum mechanics. Log. Methods Comput. Sci. 17 (4) (2021)
Cole Comfort, Aleks Kissinger
A Graphical Calculus for Lagrangian Relations. CoRR (2021)
Cole Comfort
The ZX& calculus: A complete graphical calculus for classical circuits using spiders. QPL (2020)
Cole Comfort
Circuit Relations for Real Stabilizers: Towards TOF+H. CoRR (2019)
Cole Comfort, J. Robin B. Cockett
The category TOF. QPL (2018)
J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan
The Category CNOT. QPL (2017)