Cole Comfort : Publications

Click here to download all publications in a single bibtex file

@article{https://arxiv.org/abs/2102.04386,
  title = "Distributive Laws, Spans and the ZX-Calculus",
  author = "Cole Comfort",
  year = "2022",
  url = "https://arxiv.org/pdf/2102.04386",
}

@article{hefford2022coend,
  title = "Coend Optics for Quantum Combs",
  author = "James Hefford and Cole Comfort",
  year = "2022",
  journal = "arXiv Preprint",
  note = "Submitted to ACT 2022",
  url = "https://arxiv.org/abs/2205.09027",
  volume = "arXiv:2205.09027",
}

@inproceedings{10.4204/eptcs.372.24,
  title = "A Graphical Calculus for Lagrangian Relations",
  author = "Cole Comfort and Aleks Kissinger",
  year = "2022",
  url = "https://arxiv.org/pdf/2105.06244",
  doi = "10.4204/eptcs.372.24",
}

@unpublished{2010.13361,
  title = "Sheet diagrams for bimonoidal categories",
  author = "Cole Comfort and Antonin Delpeuch and Jules Hedges",
  year = "2020",
}

@inproceedings{tof,
  title = "The Category {TOF}",
  author = "J.R.B. Cockett and Cole Comfort",
  year = "2019",
  booktitle = "Electronic Proceedings in Theoretical Computer Science",
  month = "jan",
  pages = "67--84",
  publisher = "Open Publishing Association",
  url = "https://doi.org/10.4204/eptcs.287.4",
  volume = "287",
  doi = "10.4204/eptcs.287.4",
}

@mastersthesis{mscthesis,
  title = "Classifying reversible logic gates with ancillary bits",
  author = "Cole Comfort",
  year = "2019",
  address = "Canada",
  school = "University of Calgary",
  url = "http://hdl.handle.net/1880/110665",
}

@unpublished{1904.10614,
  title = "Circuit Relations for Real Stabilizers: Towards TOF+H",
  author = "Cole Comfort",
  year = "2019",
}

@inproceedings{cnotrcib,
  title = "The Category {CNOT}",
  author = "Robin Cockett and Cole Comfort and Priyaa Srinivasan",
  year = "2018",
  booktitle = "Electronic Proceedings in Theoretical Computer Science",
  month = "feb",
  pages = "258--293",
  publisher = "Open Publishing Association",
  url = "https://doi.org/10.4204/eptcs.266.18",
  volume = "266",
  doi = "10.4204/eptcs.266.18",
}

@unpublished{1809.00275,
  title = "Dagger linear logic for categorical quantum mechanics",
  author = "Robin Cockett and Cole Comfort and Priyaa Srinivasan",
  year = "2018",
}