|
+
|
Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
|
2025
|
K Hirata
Chris Heunen
|
|
+
|
Categories of sets with infinite addition
|
2025
|
Pablo Andrés-Martínez
Chris Heunen
|
|
+
PDF
Chat
|
Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
|
2024
|
Kenji Hirata
Chris Heunen
|
|
+
PDF
Chat
|
A Brief Review of Quantum Machine Learning for Financial Services
|
2024
|
Mina Doosti
Petros Wallden
Conor Brian Hamill
Robert Hankache
Oliver Thomson Brown
Chris Heunen
|
|
+
|
Ordered locales
|
2024
|
Chris Heunen
Nesta van der Schaaf
|
|
+
PDF
Chat
|
Axioms for the category of Hilbert spaces and linear contractions
|
2024
|
Chris Heunen
Andre Kornell
Nesta van der Schaaf
|
|
+
|
Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions
|
2024
|
Matthew Di Meglio
Chris Heunen
|
|
+
PDF
Chat
|
Compositional Reversible Computation
|
2024
|
Jacques Carette
Chris Heunen
Robin Kaarsgaard
Amr Sabry
|
|
+
PDF
Chat
|
Universal Properties of Partial Quantum Maps
|
2023
|
Pablo Andrés-Martínez
Chris Heunen
Robin Kaarsgaard
|
|
+
|
Sheaf representation of monoidal categories
|
2023
|
Rui Soares Barbosa
Chris Heunen
|
|
+
|
Compact Inverse Categories
|
2023
|
Robin Cockett
Chris Heunen
|
|
+
|
Duoidally enriched Freyd categories
|
2023
|
Chris Heunen
Jesse Sigal
|
|
+
|
The Quantum Effect: A Recipe for QuantumPi
|
2023
|
Jacques Carette
Chris Heunen
Robin Kaarsgaard
Amr Sabry
|
|
+
PDF
Chat
|
Duoidally Enriched Freyd Categories
|
2023
|
Chris Heunen
Jesse Sigal
|
|
+
|
Ordered Locales
|
2023
|
Chris Heunen
Nesta van der Schaaf
|
|
+
|
Categories of sets with infinite addition
|
2023
|
Pablo Andrés-Martínez
Chris Heunen
|
|
+
|
With a Few Square Roots, Quantum Computing is as Easy as Π
|
2023
|
Jacques Carette
Chris Heunen
Robin Kaarsgaard
Amr Sabry
|
|
+
|
Axioms for the category of Hilbert spaces
|
2022
|
Chris Heunen
Andre Kornell
|
|
+
PDF
Chat
|
Quantum information effects
|
2022
|
Chris Heunen
Robin Kaarsgaard
|
|
+
PDF
Chat
|
Weakly measured while loops: peeking at quantum states
|
2022
|
Pablo Andrés-Martínez
Chris Heunen
|
|
+
|
Universal Properties of Partial Quantum Maps
|
2022
|
Pablo Andrés-MartíÂ-nez
Chris Heunen
Robin Kaarsgaard
|
|
+
|
Axioms for the category of Hilbert spaces and linear contractions
|
2022
|
Chris Heunen
Andre Kornell
Nesta van der Schaaf
|
|
+
PDF
Chat
|
The CBH characterisation theorem beyond algebraic quantum theory
|
2021
|
Chris Heunen
Aleks Kissinger
|
|
+
|
Quantum Information Effects
|
2021
|
Chris Heunen
Robin Kaarsgaard
|
|
+
|
Proceedings 18th International Conference on Quantum Physics and Logic
|
2021
|
Chris Heunen
Miriam Backens
|
|
+
|
Axioms for the category of Hilbert spaces
|
2021
|
Chris Heunen
Andre Kornell
|
|
+
PDF
Chat
|
Bennett and Stinespring, Together at Last
|
2021
|
Chris Heunen
Robin Kaarsgaard
|
|
+
|
Proceedings 18th International Conference on Quantum Physics and Logic
|
2021
|
Chris Heunen
Miriam Backens
|
|
+
|
Localisable Monads
|
2021
|
Carmen Constantin
Nuiok Dicaire
Chris Heunen
|
|
+
|
Quantum Information Effects
|
2021
|
Chris Heunen
Robin Kaarsgaard
|
|
+
|
Tensor-restriction categories
|
2021
|
Chris Heunen
Jean-Simon Pacaud Lemay
|
|
+
|
Sheaf representation of monoidal categories
|
2021
|
Rui Soares Barbosa
Chris Heunen
|
|
+
|
Localisable Monads
|
2021
|
Carmen Constantin
Nuiok Dicaire
Chris Heunen
|
|
+
|
A quantum while loop for amplitude amplification
|
2020
|
Pablo Andrés-Martínez
Chris Heunen
|
|
+
|
Weakly measured while loops: peeking at quantum states
|
2020
|
Pablo Andrés-Martínez
Chris Heunen
|
|
+
PDF
Chat
|
Topos Quantum Theory with Short Posets
|
2020
|
John Harding
Chris Heunen
|
|
+
PDF
Chat
|
Ontological models for quantum theory as functors
|
2020
|
Alexandru Gheorghiu
Chris Heunen
|
|
+
PDF
Chat
|
Tensor topology
|
2020
|
Pau Enrique Moliner
Chris Heunen
Sean Tull
|
|
+
|
Tensor-restriction categories
|
2020
|
Chris Heunen
Jean-Michel Lemay
|
|
+
|
Monoidal characterisation of groupoids and connectors
|
2019
|
Marino Gran
Chris Heunen
Sean Tull
|
|
+
|
Monoidal 2-Categories
|
2019
|
Chris Heunen
Jamie Vicary
|
|
+
|
Monoids and Comonoids
|
2019
|
Chris Heunen
Jamie Vicary
|
|
+
|
Complementarity
|
2019
|
Chris Heunen
Jamie Vicary
|
|
+
|
Complete Positivity
|
2019
|
Chris Heunen
Jamie Vicary
|
|
+
|
Basics
|
2019
|
Chris Heunen
Jamie Vicary
|
|
+
|
Monoidal Categories
|
2019
|
Chris Heunen
Jamie Vicary
|
|
+
PDF
Chat
|
Automated distribution of quantum circuits via hypergraph partitioning
|
2019
|
Pablo Andrés-Martínez
Chris Heunen
|
|
+
PDF
Chat
|
Domains of commutative C*-subalgebras
|
2019
|
Chris Heunen
Bert Lindenhovius
|
|
+
PDF
Chat
|
Boolean Subalgebras of Orthoalgebras
|
2019
|
John Harding
Chris Heunen
Bert Lindenhovius
Mirko Navara
|
|
+
|
Compact inverse categories
|
2019
|
Robin Cockett
Chris Heunen
|
|
+
|
Reversible Effects as Inverse Arrows
|
2018
|
Chris Heunen
Robin Kaarsgaard
Martti Karvonen
|
|
+
|
Automated distribution of quantum circuits
|
2018
|
Pablo Andrés-Martínez
Chris Heunen
|
|
+
PDF
Chat
|
Frobenius Structures Over Hilbert C*-Modules
|
2018
|
Chris Heunen
Manuel L. Reyes
|
|
+
|
Limits in dagger categories
|
2018
|
Chris Heunen
Martti Karvonen
|
|
+
PDF
Chat
|
Space in Monoidal Categories
|
2018
|
Pau Enrique Moliner
Chris Heunen
Sean Tull
|
|
+
PDF
Chat
|
Purity through Factorisation
|
2018
|
Oscar Cunningham
Chris Heunen
|
|
+
|
Limits in dagger categories
|
2018
|
Chris Heunen
Martti Karvonen
|
|
+
PDF
Chat
|
Denotational validation of higher-order Bayesian inference
|
2017
|
Adam Ścibior
Ohad Kammar
Matthijs Vákár
Sam Staton
Hongseok Yang
Yufei Cai
Klaus Ostermann
Sean Moss
Chris Heunen
Zoubin Ghahramani
|
|
+
PDF
Chat
|
Can a quantum state over time resemble a quantum state at a single time?
|
2017
|
Dominic Horsman
Chris Heunen
Matthew F. Pusey
Jonathan Barrett
Robert W. Spekkens
|
|
+
|
A convenient category for higher-order probability theory
|
2017
|
Chris Heunen
Ohad Kammar
Sam Staton
Hongseok Yang
|
|
+
PDF
Chat
|
A convenient category for higher-order probability theory
|
2017
|
Chris Heunen
Ohad Kammar
Sam Staton
Hongseok Yang
|
|
+
PDF
Chat
|
The Category of Matroids
|
2017
|
Chris Heunen
Vaia Patta
|
|
+
PDF
Chat
|
The Many Classical Faces of Quantum Structures
|
2017
|
Chris Heunen
|
|
+
PDF
Chat
|
Discretization of $C^*$-algebras
|
2017
|
Chris Heunen
Manuel L. Reyes
|
|
+
|
Proceedings 13th International Conference on Quantum Physics and Logic
|
2017
|
Ross Duncan
Chris Heunen
|
|
+
|
Proceedings 13th International Conference on Quantum Physics and Logic
|
2017
|
Ross Duncan
Chris Heunen
|
|
+
|
Semantics for probabilistic programming
|
2016
|
Sam Staton
Hongseok Yang
Frank Wood
Chris Heunen
Ohad Kammar
|
|
+
|
Pictures of complete positivity in arbitrary dimension
|
2016
|
Bob Coecke
Chris Heunen
|
|
+
|
Can quantum theory be characterized in information-theoretic terms?
|
2016
|
Chris Heunen
Aleks Kissinger
|
|
+
|
The CBH characterisation theorem beyond algebraic quantum theory
|
2016
|
Chris Heunen
Aleks Kissinger
|
|
+
PDF
Chat
|
Operational theories and categorical quantum mechanics
|
2016
|
Samson Abramsky
Chris Heunen
|
|
+
|
Monads on dagger categories
|
2016
|
Chris Heunen
Martti Karvonen
|
|
+
PDF
Chat
|
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
|
2016
|
Sam Staton
Hongseok Yang
Chris Heunen
Ohad Kammar
Frank Wood
|
|
+
PDF
Chat
|
Semantics for probabilistic programming: higher-order functions,
continuous distributions, and soft constraints
|
2016
|
Sam Staton
Frank Wood
Hongseok Yang
Chris Heunen
Ohad Kammar
|
|
+
|
Monads on dagger categories
|
2016
|
Chris Heunen
Martti Karvonen
|
|
+
|
The CBH characterisation theorem beyond algebraic quantum theory
|
2016
|
Chris Heunen
Aleks Kissinger
|
|
+
|
Reversible Monadic Computing
|
2015
|
Chris Heunen
Martti Karvonen
|
|
+
PDF
Chat
|
Categories of relations as models of quantum theory
|
2015
|
Chris Heunen
Sean Tull
|
|
+
|
Proceedings 12th International Workshop on Quantum Physics and Logic
|
2015
|
Chris Heunen
Peter Selinger
Jamie Vicary
|
|
+
PDF
Chat
|
Proceedings 12th International Workshop on Quantum Physics and Logic
|
2015
|
Chris Heunen
Peter Selinger
Jamie Vicary
|
|
+
|
Proceedings of the 12th International Workshop on Quantum Physics and Logic
|
2015
|
Chris Heunen
Peter Selinger
Jamie Vicary
|
|
+
PDF
Chat
|
Axiomatizing complete positivity
|
2015
|
Oscar Cunningham
Chris Heunen
|
|
+
PDF
Chat
|
Domains of Commutative C*-Subalgebras
|
2015
|
Chris Heunen
Bert Lindenhovius
|
|
+
|
Dcpos of Commutative C*-subalgebras
|
2015
|
Chris Heunen
Bert Lindenhovius
|
|
+
PDF
Chat
|
Mixed quantum states in higher categories
|
2014
|
Chris Heunen
Jamie Vicary
Linde Wester
|
|
+
PDF
Chat
|
Completely positive projections and biproducts
|
2014
|
Chris Heunen
Aleks Kissinger
Peter Selinger
|
|
+
PDF
Chat
|
Categories of quantum and classical channels
|
2014
|
Bob Coecke
Chris Heunen
Aleks Kissinger
|
|
+
|
Extending obstructions to noncommutative functorial spectra
|
2014
|
Benno van den Berg
Chris Heunen
|
|
+
PDF
Chat
|
Categories of Quantum and Classical Channels (extended abstract)
|
2014
|
Bob Coecke
Chris Heunen
Aleks Kissinger
|
|
+
|
Extending obstructions to noncommutative functorial spectra
|
2014
|
Benno van den Berg
Chris Heunen
|
|
+
PDF
Chat
|
Characterizations of Categories of Commutative C*-Subalgebras
|
2014
|
Chris Heunen
|
|
+
PDF
Chat
|
Quantum realization of arbitrary joint measurability structures
|
2014
|
Ravi Kunjwal
Chris Heunen
T. A. Fritz
|
|
+
PDF
Chat
|
Quantum theory realizes all joint measurability graphs
|
2014
|
Chris Heunen
T. A. Fritz
Manuel L. Reyes
|
|
+
|
Active lattices determine AW*-algebras
|
2014
|
Chris Heunen
Manuel L. Reyes
|
|
+
|
Completely positive projections and biproducts
|
2014
|
Chris Heunen
Aleks Kissinger
Peter Selinger
|
|
+
|
EXTENDING OBSTRUCTIONS TO
|
2014
|
Noncommutative Functorial Spectra
Benno van den Berg
Chris Heunen
|
|
+
PDF
Chat
|
Piecewise Boolean Algebras and Their Domains
|
2014
|
Chris Heunen
|
|
+
|
Extending obstructions to noncommutative functorial spectra
|
2014
|
Benno van den Berg
Chris Heunen
|
|
+
|
On discretization of C*-algebras
|
2014
|
Chris Heunen
Manuel L. Reyes
|
|
+
PDF
Chat
|
Matrix multiplication is determined by orthogonality and trace
|
2013
|
Chris Heunen
Dominic Horsman
|
|
+
|
Categories of Quantum and Classical Channels
|
2013
|
Bob Coecke
Chris Heunen
Aleks Kissinger
|
|
+
PDF
Chat
|
Diagonalizing matrices over AW*-algebras
|
2013
|
Chris Heunen
Manuel L. Reyes
|
|
+
PDF
Chat
|
Erratum: On the Functor ℓ2
|
2013
|
Chris Heunen
|
|
+
PDF
Chat
|
On the Functor ℓ2
|
2013
|
Chris Heunen
|
|
+
PDF
Chat
|
Compositional Quantum Logic
|
2013
|
Bob Coecke
Chris Heunen
Aleks Kissinger
|
|
+
|
Categories of Quantum and Classical Channels
|
2013
|
Bob Coecke
Chris Heunen
Aleks Kissinger
|
|
+
PDF
Chat
|
Erratum to: Noncommutativity as a Colimit
|
2012
|
Benno van den Berg
Chris Heunen
|
|
+
PDF
Chat
|
No-go theorems for functorial localic spectra of noncommutative rings
|
2012
|
Benno van den Berg
Chris Heunen
|
|
+
PDF
Chat
|
Completely positive classical structures and sequentializable quantum protocols
|
2012
|
Chris Heunen
Sergio Boixo
|
|
+
PDF
Chat
|
Pictures of complete positivity in arbitrary dimension
|
2012
|
Bob Coecke
Chris Heunen
|
|
+
|
Relative Frobenius algebras are groupoids
|
2012
|
Chris Heunen
Iván Contreras
Alberto S. Cattaneo
|
|
+
PDF
Chat
|
Entangled and Sequential Quantum Protocols with Dephasing
|
2012
|
Sergio Boixo
Chris Heunen
|
|
+
PDF
Chat
|
Proceedings 8th International Workshop on Quantum Physics and Logic
|
2012
|
Chris Heunen
Sergio Boixo
|
|
+
|
H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
|
2012
|
Chris Heunen
|
|
+
|
𝐻*-algebras and nonunital Frobenius algebras: First steps in infinite-dimensional categorical quantum mechanics
|
2012
|
Samson Abramsky
Chris Heunen
|
|
+
|
Operational theories and Categorical quantum mechanics
|
2012
|
Samson Abramsky
Chris Heunen
|
|
+
PDF
Chat
|
Complementarity in Categorical Quantum Mechanics
|
2011
|
Chris Heunen
|
|
+
PDF
Chat
|
Bohrification of operator algebras and quantum logic
|
2011
|
Chris Heunen
Nicolaas P. Landsman
Bas Spitters
|
|
+
PDF
Chat
|
Noncommutativity as a Colimit
|
2011
|
Benno van den Berg
Chris Heunen
|
|
+
PDF
Chat
|
THE GELFAND SPECTRUM OF A NONCOMMUTATIVE C*-ALGEBRA: A TOPOS-THEORETIC APPROACH
|
2011
|
Chris Heunen
Nicolaas P. Landsman
Bas Spitters
Sander Wolters
|
|
+
|
Categorical aspects of polar decomposition
|
2010
|
Chris Heunen
|
|
+
|
H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
|
2010
|
Samson Abramsky
Chris Heunen
|
|
+
PDF
Chat
|
Quantum Logic in Dagger Kernel Categories
|
2010
|
Chris Heunen
Bart Jacobs
|
|
+
|
H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
|
2010
|
Samson Abramsky
Chris Heunen
|
|
+
PDF
Chat
|
A Topos for Algebraic Quantum Theory
|
2009
|
Chris Heunen
Nicolaas P. Landsman
Bas Spitters
|
|
+
PDF
Chat
|
Intuitionistic Quantum Logic of an n-level System
|
2009
|
Martijn Caspers
Chris Heunen
Nicolaas P. Landsman
Bas Spitters
|
|
+
PDF
Chat
|
Categorical Quantum Models and Logics
|
2009
|
Chris Heunen
|
|
+
PDF
Chat
|
Coalgebraic Components in a Many-Sorted Microcosm
|
2009
|
Ichiro Hasuo
Chris Heunen
Bart Jacobs
Ana Sokolova
|
|
+
|
An embedding theorem for Hilbert categories
|
2009
|
Chris Heunen
|
|
+
|
Bohrification
|
2009
|
Chris Heunen
Nicolaas P. Landsman
Bas Spitters
|
|
+
PDF
Chat
|
Compactly accessible categories and quantum key distribution
|
2008
|
Chris Heunen
|
|
+
|
Quantifiers for quantum logic
|
2008
|
Chris Heunen
|
|
+
|
An embedding theorem for Hilbert categories
|
2008
|
Chris Heunen
|
|
+
|
Semimodule Enrichment
|
2008
|
Chris Heunen
|
|
+
PDF
Chat
|
The Principle of General Tovariance
|
2008
|
Chris Heunen
N.P. Landsman
Bas Spitters
Rui Loja Fernandes
Roger Picken
|
|
+
|
S em im o d u le en rich m en t
|
2008
|
Chris Heunen
|
|
+
|
An embedding theorem for Hilbert categories
|
2008
|
Chris Heunen
|
|
+
|
Quantifiers for quantum logic
|
2008
|
Chris Heunen
|
|
+
|
Arrows, like Monads, are Monoids
|
2006
|
Chris Heunen
Bart Jacobs
|