Cole Comfort

According to our database, Cole Comfort authored at least 11 papers between 2017 and 2024.

Collaborative distances:

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

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