Combining Viewpoints in Quantum Theory (Ext.)

  • 4 Conference contribution
  • 4 Article

Search results

  • 2022

    Universal Properties of Partial Quantum Maps

    Andres Martinez, P., Heunen, C. & Kaarsgaard, R., 1 Jun 2022, (Accepted/In press) Proceedings of the 19th International Conference on Quantum Physics and Logic. 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Weakly measured while loops: peeking at quantum states

    Andrés-Martínez, P. & Heunen, C., 1 Apr 2022, In: Quantum Science and Technology. 7, 2, 21 p., 025007.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • Axioms for the category of Hilbert spaces

    Heunen, C. & Kornell, A., 25 Feb 2022, In: Proceedings of the National Academy of Sciences (PNAS). 119, 9, 5 p., e2117024119.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File

  • Localisable Monads

    Constantin, C., Dicaire, N. & Heunen, C., 27 Jan 2022, 30th EACSL Annual Conference on Computer Science Logic (CSL 2022). Manea, F. & Simpson, A. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 17 p. (30th EACSL Annual Conference on Computer Science Logic).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File

  • Quantum Information Effects

    Heunen, C. & Kaarsgaard, R., 11 Jan 2022, In: Proceedings of the ACM on Programming Languages. 6, POPL, p. 1-27 2.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File
  • 2021

    Bennett and Stinespring, Together at Last

    Heunen, C. & Kaarsgaard, R., 18 Sept 2021, Proceedings of the 18th International Conference on Quantum Physics and Logic (QPL 2021). EPTCS, p. 102-118 17 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; no. 343).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    File
  • 2020

    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 proceeding › Conference contribution

    Open Access
    File
  • 2019

    Automated distribution of quantum circuits

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

    Research output: Contribution to journal › Article › peer-review

    Open Access
    File