Accurate Silhouettes - Do Polyhedral Models Suffice? - Chris Heunen (GMAG, 2003)

Arrows, like Monads, are Monoids. - Chris Heunen; Bart Jacobs 001 (MFPS, 2006)

Semimodule Enrichment. - Chris Heunen (MFPS, 2008)

Compactly Accessible Categories and Quantum Key Distribution. - Chris Heunen (Log. Methods Comput. Sci., 2008)

Coalgebraic Components in a Many-Sorted Microcosm. - Ichiro Hasuo; Chris Heunen; Bart Jacobs 001; Ana Sokolova (CALCO, 2009)

Quantum Logic in Dagger Kernel Categories. - Chris Heunen; Bart Jacobs 001 (QPL@MFPS, 2009)

Categorical semantics for arrows. - Bart Jacobs 001; Chris Heunen; Ichiro Hasuo (J. Funct. Program., 2009)

No-go theorems for functorial localic spectra of noncommutative rings. - Benno van den Berg; Chris Heunen (QPL, 2011)

Pictures of complete positivity in arbitrary dimension. - Bob Coecke; Chris Heunen (QPL, 2011)

Completely positive classical structures and sequentializable quantum protocols. - Chris Heunen; Sergio Boixo (QPL, 2011)

Noncommutativity as a Colimit. - Benno van den Berg; Chris Heunen (Appl. Categorical Struct., 2012)

Categories of Quantum and Classical Channels (extended abstract). - Bob Coecke; Chris Heunen; Aleks Kissinger (QPL, 2012)

Bohrification of operator algebras and quantum logic. - Chris Heunen; Nicolaas P. Landsman; Bas Spitters (Synth., 2012)

Compositional Quantum Logic. - Bob Coecke; Chris Heunen; Aleks Kissinger (Computation, Logic, Games, and Quantum Foundations, 2013)

On the Functor ℓ2. - Chris Heunen (Computation, Logic, Games, and Quantum Foundations, 2013)

Erratum to: Noncommutativity as a Colimit. - Benno van den Berg; Chris Heunen (Appl. Categorical Struct., 2013)

Completely positive projections and biproducts. - Chris Heunen; Aleks Kissinger; Peter Selinger (QPL, 2013)

Piecewise Boolean Algebras and Their Domains. - Chris Heunen (ICALP (2), 2014)

Mixed quantum states in higher categories. - Chris Heunen; Jamie Vicary; Linde Wester (QPL, 2014)

Axiomatizing complete positivity. - Oscar Cunningham; Chris Heunen (QPL, 2015)

Categories of relations as models of quantum theory. - Chris Heunen; Sean Tull (QPL, 2015)

Reversible Monadic Computing. - Chris Heunen; Martti Karvonen (MFPS, 2015)

Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. - Sam Staton; Hongseok Yang; Frank D. Wood; Chris Heunen; Ohad Kammar (LICS, 2016)

Can quantum theory be characterized in information-theoretic terms? - Chris Heunen; Aleks Kissinger (CoRR, 2016)

Categories of quantum and classical channels. - Bob Coecke; Chris Heunen; Aleks Kissinger (Quantum Inf. Process., 2016)

A convenient category for higher-order probability theory. - Chris Heunen; Ohad Kammar; Sam Staton; Hongseok Yang (LICS, 2017)

Space in Monoidal Categories. - Pau Enrique Moliner; Chris Heunen; Sean Tull (QPL, 2017)

Purity through Factorisation. - Oscar Cunningham; Chris Heunen (QPL, 2017)

The Many Classical Faces of Quantum Structures. - Chris Heunen (Entropy, 2017)

The Category of Matroids. - Chris Heunen; Vaia Patta (Appl. Categorical Struct., 2018)

Reversible Effects as Inverse Arrows. - Chris Heunen; Robin Kaarsgaard; Martti Karvonen (MFPS, 2018)

Denotational validation of higher-order Bayesian inference. - Adam Scibior; Ohad Kammar; Matthijs Vákár; Sam Staton; Hongseok Yang; Yufei Cai; Klaus Ostermann; Sean K. Moss; Chris Heunen; Zoubin Ghahramani (Proc. ACM Program. Lang., 2018)

Ontological models for quantum theory as functors. - Alexandru Gheorghiu; Chris Heunen (QPL, 2019)

Domains of commutative C*-subalgebras. - Chris Heunen; Bert Lindenhovius (Math. Struct. Comput. Sci., 2019)

Boolean Subalgebras of Orthoalgebras. - John Harding; Chris Heunen; Bert Lindenhovius; Mirko Navara (Order, 2019)

Bennett and Stinespring, Together at Last. - Chris Heunen; Robin Kaarsgaard (QPL, 2021)

Topos Quantum Theory with Short Posets. - John Harding; Chris Heunen (Order, 2021)

Localisable Monads. - Carmen M. Constantin; Nuiok Dicaire; Chris Heunen (CSL, 2022)

Universal Properties of Partial Quantum Maps. - Pablo Andrés-Martínez; Chris Heunen; Robin Kaarsgaard (QPL, 2022)

The CBH characterisation theorem beyond algebraic quantum theory. - Chris Heunen; Aleks Kissinger (Inf. Comput., 2022)

Quantum information effects. - Chris Heunen; Robin Kaarsgaard (Proc. ACM Program. Lang., 2022)

Duoidally Enriched Freyd Categories. - Chris Heunen; Jesse Sigal (RAMiCS, 2023)

The Quantum Effect: A Recipe for QuantumPi. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (CoRR, 2023)

With a Few Square Roots, Quantum Computing is as Easy as Π. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (CoRR, 2023)

Compositional Reversible Computation. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (RC, 2024)

A Brief Review of Quantum Machine Learning for Financial Services. - Mina Doosti; Petros Wallden; Conor B. Hamill; Robert Hankache; Oliver Thomson Brown; Chris Heunen (CoRR, 2024)

How to Bake a Quantum Π. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (Proc. ACM Program. Lang., 2024)

With a Few Square Roots, Quantum Computing Is as Easy as Pi. - Jacques Carette; Chris Heunen; Robin Kaarsgaard; Amr Sabry (Proc. ACM Program. Lang., 2024)

Towards Categorical Quantum Concurrency Theory (Invited Talk). - Chris Heunen (CONCUR, 2025)

Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime. - Kengo Hirata; Chris Heunen (Proc. ACM Program. Lang., 2025)

Dagger Categories and the Complex Numbers: Axioms for the Category of Finite-Dimensional Hilbert Spaces and Linear Contractions. - Matthew Di Meglio; Chris Heunen (Appl. Categorical Struct., 2025)

Hadamard-Π: Equational Quantum Programming. - Wang Fang 001; Chris Heunen; Robin Kaarsgaard (CoRR, 2025)

Quantum circuits are just a phase. - Chris Heunen; Louis Lemonnier; Christopher McNally; Alex Rice (CoRR, 2025)