Cole Comfort

13 papers Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
A dataflow programming framework for linear optical distributed quantum computing.
Quantum
Giovanni de Felice, Boldizsár Poór, Cole Comfort, Lia Yeh, Mateusz Kupper, William Cashman, Bob Coecke
2025 J jnl
Denotational semantics for stabiliser quantum programs.
CoRR
Robert I. Booth, Cole Comfort
2024 J jnl
Complete equational theories for classical and quantum Gaussian relations.
CoRR
Robert I. Booth, Titouan Carette, Cole Comfort
2024 J jnl
Graphical Symplectic Algebra.
CoRR
Robert I. Booth, Titouan Carette, Cole Comfort
2023 J jnl
The Algebra for Stabilizer Codes.
CoRR
Cole Comfort
2022 — conf
Coend Optics for Quantum Combs.
ACT
James Hefford, Cole Comfort
2021 — conf
A Graphical Calculus for Lagrangian Relations.
ACT
Cole Comfort, Aleks Kissinger
2021 J jnl
Dagger linear logic for categorical quantum mechanics.
Log. Methods Comput. Sci.
J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan
2021 J jnl
Distributive Laws, Spans and the ZX-Calculus.
CoRR
Cole Comfort
2020 — conf
The ZX& calculus: A complete graphical calculus for classical circuits using spiders.
QPL
Cole Comfort
2019 J jnl
Circuit Relations for Real Stabilizers: Towards TOF+H.
CoRR
Cole Comfort
2018 — conf
The category TOF.
QPL
Cole Comfort, J. Robin B. Cockett
2017 — conf
The Category CNOT.
QPL
J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan