Chris Heunen

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 34

Top Topics

Quantum Computing

Bayesian Inference

Top Venues

Proc. ACM Program. Lang.

Publications

Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
With a Few Square Roots, Quantum Computing Is as Easy as Pi. Proc. ACM Program. Lang. 8 (POPL) (2024)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
Compositional Reversible Computation. RC (2024)
Mina Doosti, Petros Wallden, Conor B. Hamill, Robert Hankache, Oliver Thomson Brown, Chris Heunen
A Brief Review of Quantum Machine Learning for Financial Services. CoRR (2024)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
Compositional Reversible Computation. CoRR (2024)
Chris Heunen, Jesse Sigal
Duoidally Enriched Freyd Categories. RAMiCS (2023)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
The Quantum Effect: A Recipe for QuantumPi. CoRR (2023)
Chris Heunen, Jesse Sigal
Duoidally enriched Freyd categories. CoRR (2023)
Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
With a Few Square Roots, Quantum Computing is as Easy as Π. CoRR (2023)
Chris Heunen, Aleks Kissinger
The CBH characterisation theorem beyond algebraic quantum theory. Inf. Comput. 285 (Part) (2022)
Carmen Constantin, Nuiok Dicaire, Chris Heunen
Localisable Monads. CSL (2022)
Chris Heunen, Robin Kaarsgaard
Quantum information effects. Proc. ACM Program. Lang. 6 (POPL) (2022)
Pablo Andrés-Martínez, Chris Heunen, Robin Kaarsgaard
Universal Properties of Partial Quantum Maps. CoRR (2022)
Carmen Constantin, Nuiok Dicaire, Chris Heunen
Localisable Monads. CoRR (2021)
John Harding, Chris Heunen
Topos Quantum Theory with Short Posets. Order 38 (1) (2021)
Chris Heunen, Robin Kaarsgaard
Quantum Information Effects. CoRR (2021)
Chris Heunen, Robin Kaarsgaard
Bennett and Stinespring, Together at Last. QPL (2021)
John Harding, Chris Heunen, Bert Lindenhovius, Mirko Navara
Boolean Subalgebras of Orthoalgebras. Order 36 (3) (2019)
Chris Heunen, Bert Lindenhovius
Domains of commutative C*-subalgebras. Math. Struct. Comput. Sci. 29 (7) (2019)
Alexandru Gheorghiu, Chris Heunen
Ontological models for quantum theory as functors. QPL (2019)
Chris Heunen, Robin Kaarsgaard, Martti Karvonen
Reversible effects as inverse arrows. CoRR (2018)
Chris Heunen, Vaia Patta
The Category of Matroids. Appl. Categorical Struct. 26 (2) (2018)
Chris Heunen, Robin Kaarsgaard, Martti Karvonen
Reversible Effects as Inverse Arrows. MFPS (2018)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. Proc. ACM Program. Lang. 2 (POPL) (2018)
Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
A Convenient Category for Higher-Order Probability Theory. CoRR (2017)
Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
Denotational validation of higher-order Bayesian inference. CoRR (2017)
Oscar Cunningham, Chris Heunen
Purity through Factorisation. QPL (2017)
Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
A convenient category for higher-order probability theory. LICS (2017)
Pau Enrique Moliner, Chris Heunen, Sean Tull
Space in Monoidal Categories. QPL (2017)
Chris Heunen
The Many Classical Faces of Quantum Structures. Entropy 19 (4) (2017)
Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, Frank D. Wood
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. CoRR (2016)
Bob Coecke, Chris Heunen
Pictures of complete positivity in arbitrary dimension. Inf. Comput. 250 (2016)
Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. LICS (2016)
Bob Coecke, Chris Heunen, Aleks Kissinger
Categories of quantum and classical channels. Quantum Inf. Process. 15 (12) (2016)
Chris Heunen, Aleks Kissinger
Can quantum theory be characterized in information-theoretic terms? CoRR (2016)
Oscar Cunningham, Chris Heunen
Axiomatizing complete positivity. CoRR (2015)
Chris Heunen, Martti Karvonen
Reversible Monadic Computing. MFPS (2015)
Chris Heunen, Bert Lindenhovius
Domains of Commutative C-Subalgebras. LICS (2015)
Chris Heunen, Martti Karvonen
Reversible monadic computing. CoRR (2015)
Chris Heunen, Bert Lindenhovius
Domains of commutative C*-subalgebras. CoRR (2015)
Chris Heunen, Sean Tull
Categories of relations as models of quantum theory. CoRR (2015)
Chris Heunen
Piecewise Boolean Algebras and Their Domains. ICALP (2) (2014)
Chris Heunen, Jamie Vicary, Linde Wester
Mixed quantum states in higher categories. QPL (2014)
Chris Heunen
Piecewise Boolean algebras and their domains. CoRR (2014)
Chris Heunen, Aleks Kissinger, Peter Selinger
Completely positive projections and biproducts. QPL (2013)
Bob Coecke, Chris Heunen, Aleks Kissinger
Compositional Quantum Logic. Computation, Logic, Games, and Quantum Foundations (2013)
Chris Heunen
On the Functor ℓ2. Computation, Logic, Games, and Quantum Foundations (2013)
Benno van den Berg, Chris Heunen
Erratum to: Noncommutativity as a Colimit. Appl. Categorical Struct. 21 (1) (2013)
Benno van den Berg, Chris Heunen
Noncommutativity as a Colimit. Appl. Categorical Struct. 20 (4) (2012)
Bob Coecke, Chris Heunen, Aleks Kissinger
Categories of Quantum and Classical Channels (extended abstract). QPL (2012)
Chris Heunen, Nicolaas P. Landsman, Bas Spitters
Bohrification of operator algebras and quantum logic. Synth. 186 (3) (2012)
Benno van den Berg, Chris Heunen
No-go theorems for functorial localic spectra of noncommutative rings. QPL (2011)
Chris Heunen, Bart Jacobs
Quantum Logic in Dagger Kernel Categories. Electron. Notes Theor. Comput. Sci. 270 (2) (2011)
Bob Coecke, Chris Heunen
Pictures of complete positivity in arbitrary dimension. QPL (2011)
Chris Heunen, Sergio Boixo
Completely positive classical structures and sequentializable quantum protocols. QPL (2011)
Chris Heunen, Bart Jacobs
Quantum Logic in Dagger Kernel Categories. Order 27 (2) (2010)
Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
Coalgebraic Components in a Many-Sorted Microcosm. CALCO (2009)
Bart Jacobs, Chris Heunen, Ichiro Hasuo
Categorical semantics for arrows. J. Funct. Program. 19 (3-4) (2009)
Chris Heunen
Semimodule Enrichment. MFPS (2008)
Chris Heunen
Compactly accessible categories and quantum key distribution CoRR (2008)
Chris Heunen
Compactly Accessible Categories and Quantum Key Distribution. Log. Methods Comput. Sci. 4 (4) (2008)
Chris Heunen, Bart Jacobs
Arrows, like Monads, are Monoids. MFPS (2006)
Chris Heunen
Accurate Silhouettes - Do Polyhedral Models Suffice? GMAG (2003)