Cole Comfort

According to our database, Cole Comfort authored at least 13 papers between 2017 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2026

A dataflow programming framework for linear optical distributed quantum computing.

Giovanni de Felice, Boldizsár Poór, Cole Comfort, Lia Yeh, Mateusz Kupper, William Cashman, Bob Coecke

Quantum, 2026

2025

Denotational semantics for stabiliser quantum programs.

Robert I. Booth, Cole Comfort

CoRR, November, 2025

2024

Complete equational theories for classical and quantum Gaussian relations.

Robert I. Booth, Titouan Carette, Cole Comfort

CoRR, 2024

Graphical Symplectic Algebra.

Robert I. Booth, Titouan Carette, Cole Comfort

CoRR, 2024

2023

The Algebra for Stabilizer Codes.

Cole Comfort

CoRR, 2023

2022

Coend Optics for Quantum Combs.

James Hefford, Cole Comfort

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

2021

Dagger linear logic for categorical quantum mechanics.

J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan

Log. Methods Comput. Sci., 2021

A Graphical Calculus for Lagrangian Relations.

Cole Comfort, Aleks Kissinger

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Distributive Laws, Spans and the ZX-Calculus.

Cole Comfort

CoRR, 2021

2020

The ZX& calculus: A complete graphical calculus for classical circuits using spiders.

Cole Comfort

Proceedings of the Proceedings 17th International Conference on Quantum Physics and Logic, 2020

2019

Circuit Relations for Real Stabilizers: Towards TOF+H.

Cole Comfort

CoRR, 2019

2018

The category TOF.

Cole Comfort, J. Robin B. Cockett

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2017

The Category CNOT.

J. Robin B. Cockett, Cole Comfort, Priyaa V. Srinivasan

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017