Cole Comfort : Publications
Journal papers
-
[1]
Distributive Laws‚ Spans and the ZX−Calculus
Cole Comfort
2022.
Details about Distributive Laws‚ Spans and the ZX−Calculus | BibTeX data for Distributive Laws‚ Spans and the ZX−Calculus | Link to Distributive Laws‚ Spans and the ZX−Calculus
-
[2]
Coend Optics for Quantum Combs
James Hefford and Cole Comfort
In arXiv Preprint. Vol. arXiv:2205.09027. 2022.
Submitted to ACT 2022
Details about Coend Optics for Quantum Combs | BibTeX data for Coend Optics for Quantum Combs | Link to Coend Optics for Quantum Combs
Conference papers
-
[1]
A Graphical Calculus for Lagrangian Relations
Cole Comfort and Aleks Kissinger
2022.
Details about A Graphical Calculus for Lagrangian Relations | BibTeX data for A Graphical Calculus for Lagrangian Relations | DOI (10.4204/eptcs.372.24) | Link to A Graphical Calculus for Lagrangian Relations
-
[2]
The Category TOF
J.R.B. Cockett and Cole Comfort
In Electronic Proceedings in Theoretical Computer Science. Vol. 287. Pages 67–84. Open Publishing Association. January, 2019.
Details about The Category TOF | BibTeX data for The Category TOF | DOI (10.4204/eptcs.287.4) | Link to The Category TOF
-
[3]
The Category CNOT
Robin Cockett‚ Cole Comfort and Priyaa Srinivasan
In Electronic Proceedings in Theoretical Computer Science. Vol. 266. Pages 258–293. Open Publishing Association. February, 2018.
Details about The Category CNOT | BibTeX data for The Category CNOT | DOI (10.4204/eptcs.266.18) | Link to The Category CNOT
Theses
-
[1]
Classifying reversible logic gates with ancillary bits
Cole Comfort
Master's Thesis University of Calgary. Canada. 2019.
Details about Classifying reversible logic gates with ancillary bits | BibTeX data for Classifying reversible logic gates with ancillary bits | Link to Classifying reversible logic gates with ancillary bits
Miscellaneous
-
[1]
Sheet diagrams for bimonoidal categories
Cole Comfort‚ Antonin Delpeuch and Jules Hedges
2020.
Details about Sheet diagrams for bimonoidal categories | BibTeX data for Sheet diagrams for bimonoidal categories
-
[2]
Circuit Relations for Real Stabilizers: Towards TOF+H
Cole Comfort
2019.
Details about Circuit Relations for Real Stabilizers: Towards TOF+H | BibTeX data for Circuit Relations for Real Stabilizers: Towards TOF+H
-
[3]
Dagger linear logic for categorical quantum mechanics
Robin Cockett‚ Cole Comfort and Priyaa Srinivasan
2018.
Details about Dagger linear logic for categorical quantum mechanics | BibTeX data for Dagger linear logic for categorical quantum mechanics