If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 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 proceedingConference contribution

    Open Access
    File
  • 2018

    Purity through factorisation

    Cunningham, O. & Heunen, C., 27 Feb 2018, Proceedings 14th International Conference on Quantum Physics and Logic: Nijmegen, The Netherlands, 3-7 July 2017. Open Publishing Association, p. 315-328 14 p. (Electronic Proceedings in Theoretical Computer Science; vol. 266).

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

    Open Access
    File
  • Reversible effects as inverse arrows

    Heunen, C., Kaarsgaard, R. & Karvonen, M., 12 May 2018, (Accepted/In press) 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018). 14 p. (Electronic Notes in Theoretical Computer Science; vol. 341).

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

    Open Access
    File
  • 2017

    A Convenient Category for Higher-Order Probability Theory

    Heunen, C., Kammar, O., Staton, S. & Yang, H., 18 Aug 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Institute of Electrical and Electronics Engineers (IEEE), p. 1-12 12 p. (IEEE Symposium on Logic in Computer Science).

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

    Open Access
    File
  • Frobenius structures over Hilbert C*-modules

    Heunen, C. & Reyes, M. L., 7 Jul 2017, 14th International Conference on Quantum Physics and Logic and IQSA Quantum Structures Workshop (QPL/IQSA 2017). 2 p.

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

    Open Access
    File
  • Space in monoidal categories

    Moliner, P. E., Heunen, C. & Tull, S., 7 Jul 2017, The 14th International Conference on Quantum Physics and Logic (QPL). Open Publishing Association, p. 399–410 12 p. (Electronic Proceedings in Theoretical Computer Science; vol. 266).

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

    Open Access
    File
  • 2016

    Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

    Staton, S., Yang, H., Heunen, C., Kammar, O. & Wood, F., 5 Jul 2016, LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. New York, USA: ACM, p. 525-534 10 p.

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

    Open Access
    File
  • 2015

    Axiomatizing complete positivity

    Cunningham, O. & Heunen, C., 2015, Proceedings 12th International Workshop on Quantum Physics and Logic. Open Publishing Association, p. 148-157 10 p. (Electronic Proceedings in Theoretical Computer Science; vol. 195).

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

    Open Access
    File
  • Categories of relations as models of quantum theory

    Heunen, C. & Tull, S., 2015, Proceedings 12th International Workshop on Quantum Physics and Logic. Open Publishing Association, p. 247-261 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 195).

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

    Open Access
    File
  • Domains of Commutative C-Subalgebras

    Heunen, C. & Lindenhovius, B., 1 Jul 2015, Logic in Computer Science (LICS), 2015 30th Annual ACM/IEEE Symposium on. Institute of Electrical and Electronics Engineers (IEEE), p. 450-461 12 p.

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

    Open Access
    File
  • 2014

    Categories of Quantum and Classical Channels (extended abstract)

    Coecke, B., Heunen, C. & Kissinger, A., 1 Aug 2014, Proceedings QPL 2012. p. 1-14 14 p. (EPTCS; vol. 158).

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

    File
  • Completely positive projections and biproducts

    Heunen, C., Kissinger, A. & Selinger, P., 2014, Proceedings of the 10th International Workshop on Quantum Physics and Logic. p. 71-83 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 171).

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

    Open Access
    File
  • Mixed quantum states in higher categories

    Heunen, C., Vicary, J. & Wester, L., 6 May 2014, Proceedings QPL 2014. p. 304-315 12 p. (EPTCS; vol. 172).

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

    File
  • Piecewise Boolean Algebras and Their Domains

    Heunen, C., 2014, Automata, Languages, and Programming: 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II. Esparza, J., Fraigniaud, P., Husfeldt, T. & Koutsoupias, E. (eds.). Springer Berlin Heidelberg, p. 208-219 12 p. (Lecture Notes in Computer Science; vol. 8573).

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

    Open Access
    File
  • 2013

    Erratum: On the Functor ℓ2

    Heunen, C., 2013, Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky: Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday. Coecke, B., Ong, L. & Panangaden, P. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. E1-E1 (Lecture Notes in Computer Science; vol. 7860).

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

  • 2012

    Completely positive classical structures and sequentializable quantum protocols

    Heunen, C. & Boixo, S., 2012, Proceedings 8th International Workshop on Quantum Physics and Logic. p. 91-101 11 p. (Electronic Proceedings in Theoretical Computer Science; vol. 95).

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

    Open Access
    File
  • H* -algebras and nonunital Frobenius algebras: First steps in infinite dimensional categorical quantum mechanics

    Abramsky, S. & Heunen, C., 2012, AMS Proceedings of Symposia in Applied Mathematics: Mathematical Foundations of Information Flow. American Mathematical Society, Vol. 71. p. 14-37 24 p.

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

  • No-go theorems for functorial localic spectra of noncommutative rings

    van den Berg, B. & Heunen, C., 2012, Proceedings 8th International Workshop on Quantum Physics and Logic. p. 21-25 5 p. (Electronic Proceedings in Theoretical Computer Science; vol. 95).

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

    Open Access
    File
  • Pictures of complete positivity in arbitrary dimension

    Coecke, B. & Heunen, C., 2012, Proceedings 8th International Workshop on Quantum Physics and Logic. p. 27-35 9 p. (Electronic Proceedings in Theoretical Computer Science; vol. 95).

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

    Open Access
    File
  • 2009

    Coalgebraic Components in a Many-Sorted Microcosm

    Hasuo, I., Heunen, C., Jacobs, B. & Sokolova, A., 2009, Algebra and Coalgebra in Computer Science: Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Kurz, A., Lenisa, M. & Tarlecki, A. (eds.). Springer Berlin Heidelberg, p. 64-80 17 p. (Lecture Notes in Computer Science; vol. 5728).

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

  • 2008

    The Principle of General Tovariance

    Heunen, C., Landsman, N. P., Spitters, B., Fernandes, R. L. & Picken, R., 2008, AIP Conference Proceedings of GEOMETRY AND PHYSICS: XVI International Fall Workshop. AIP PRESS, p. 93-102 10 p.

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

    Open Access
    File
  • 2003

    Accurate silhouettes - do polyhedral models suffice?

    Heunen, C., 1 Jul 2003, Geometric Modeling and Graphics, 2003. Proceedings. 2003 International Conference on. Institute of Electrical and Electronics Engineers (IEEE), p. 69-74 6 p.

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

    Open Access
    File