Cole Comfort : Publications
-
[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]
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]
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
-
[4]
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
-
[5]
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
-
[6]
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