Edinburgh Research Explorer
  1. 2020
  2. Tensor topology

    Heunen, C., Tull, S. & Enrique Moliner, P., 31 Oct 2020, In: Journal of pure and applied algebra. 224, 10, 36 p., 106378.

    Research output: Contribution to journalArticlepeer-review

  3. The CBH characterisation theorem beyond algebraic quantum theory

    Heunen, C. & Kissinger, A., 9 Sep 2020, (Accepted/In press) In: Information and Computation. 30 p.

    Research output: Contribution to journalArticlepeer-review

  4. Topos quantum theory with short posets

    Harding, J. & Heunen, C., 19 Jun 2020, In: Order. 15 p.

    Research output: Contribution to journalArticle

  5. Ontological models for quantum theory as functors

    Gheorghiu, A. & Heunen, C., 1 May 2020, Proceedings 16th International Conference on Quantum Physics and Logic: Chapman University, Orange, CA, USA., 10-14 June 2019. Coecke, B. & Leifer, M. (eds.). Open Publishing Association, p. 196-212 17 p. (Electronic Proceedings in Theoretical Computer Science; vol. 318).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Monoidal characterisation of groupoids and connectors

    Gran, M., Heunen, C. & Tull, S., 15 Mar 2020, In: Topology and its Applications. 273, 25 p., 106966.

    Research output: Contribution to journalArticlepeer-review

  7. 2019
  8. Boolean Subalgebras of Orthoalgebras

    Harding, J., Heunen, C., Lindenhovius, B. & Navara, M., 9 Dec 2019, In: Order. 36, 3, p. 563-609

    Research output: Contribution to journalArticlepeer-review

  9. Categories for quantum theory: an introduction

    Heunen, C. & Vicary, J., 19 Nov 2019, Oxford University Press. 336 p.

    Research output: Book/ReportBook

  10. Automated distribution of quantum circuits

    Heunen, C. & Andres Martinez, P., 5 Sep 2019, In: Physical Review A. 100, p. 032308 11 p.

    Research output: Contribution to journalArticlepeer-review

  11. Domains of commutative C*-subalgebras

    Heunen, C. & Lindenhovius, B., Aug 2019, In: Mathematical Structures in Computer Science. 29, 7, p. 972-1006 41 p.

    Research output: Contribution to journalArticlepeer-review

  12. Limits in dagger categories

    Heunen, C. & Karvonen, M., 11 Jun 2019, In: Theory and Applications of Categories. 34, 18, p. 468-513 47 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 4 5 6 7 Next