Chris Heunen - RankMe

79 papers A* 3B 7C 2Journal 42Unranked 21

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Hadamard-Pi: Equational Quantum Programming. Proc. ACM Program. Lang. Wang Fang, Chris Heunen, Robin Kaarsgaard
2026	J	`jnl`	Quantum Circuits Are Just a Phase. Proc. ACM Program. Lang. Chris Heunen, Louis Lemonnier, Christopher McNally, Alex Rice
2025	J	`jnl`	Dagger Categories and the Complex Numbers: Axioms for the Category of Finite-Dimensional Hilbert Spaces and Linear Contractions. Appl. Categorical Struct. Matthew Di Meglio, Chris Heunen
2025	—	`conf`	Distributed Quantum Computing Across Heterogeneous Hardware with Hybrid Dependency Hypergraphs. SIGCOMM (Posters and Demos) Maria Gragera Garces, Chris Heunen, Mahesh K. Marina
2025	J	`jnl`	Hadamard-Π: Equational Quantum Programming. CoRR Wang Fang, Chris Heunen, Robin Kaarsgaard
2025	—	`conf`	Independent States are Orthogonal: A Categorical Framework to Treat Probability Geometrically. GSI (2) Matthew Di Meglio, Chris Heunen, J. S. Lemay, Paolo Perrone, Dario Stein
2025	J	`jnl`	One rig to control them all. CoRR Chris Heunen, Robin Kaarsgaard, Louis Lemonnier
2025	J	`jnl`	Quantum circuits are just a phase. CoRR Chris Heunen, Louis Lemonnier, Christopher McNally, Alex Rice
2025	J	`jnl`	Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime. Proc. ACM Program. Lang. Kengo Hirata, Chris Heunen
2025	—	`conf`	String Diagrams for Defect-Based Surface Code Computing. QPL Mateusz Kupper, Dominic Horsman, Chris Heunen, Niel de Beaudrap
2025	B	`conf`	Towards Categorical Quantum Concurrency Theory (Invited Talk). CONCUR Chris Heunen
2024	J	`jnl`	A Brief Review of Quantum Machine Learning for Financial Services. CoRR Mina Doosti, Petros Wallden, Conor B. Hamill, Robert Hankache, Oliver Thomson Brown, Chris Heunen
2024	C	`conf`	Compositional Reversible Computation. RC Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2024	J	`jnl`	Compositional Reversible Computation. CoRR Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2024	J	`jnl`	How to Bake a Quantum Π. Proc. ACM Program. Lang. Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2024	J	`jnl`	Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime. CoRR Kengo Hirata, Chris Heunen
2024	J	`jnl`	With a Few Square Roots, Quantum Computing Is as Easy as Pi. Proc. ACM Program. Lang. Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2023	C	`conf`	Duoidally Enriched Freyd Categories. RAMiCS Chris Heunen, Jesse Sigal
2023	J	`jnl`	Duoidally enriched Freyd categories. CoRR Chris Heunen, Jesse Sigal
2023	J	`jnl`	The Quantum Effect: A Recipe for QuantumPi. CoRR Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2023	J	`jnl`	With a Few Square Roots, Quantum Computing is as Easy as Π. CoRR Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
2022	B	`conf`	Localisable Monads. CSL Carmen M. Constantin, Nuiok Dicaire, Chris Heunen
2022	J	`jnl`	Quantum information effects. Proc. ACM Program. Lang. Chris Heunen, Robin Kaarsgaard
2022	J	`jnl`	The CBH characterisation theorem beyond algebraic quantum theory. Inf. Comput. Chris Heunen, Aleks Kissinger
2022	—	`conf`	Universal Properties of Partial Quantum Maps. QPL Pablo Andrés-Martínez, Chris Heunen, Robin Kaarsgaard
2021	—	`conf`	Bennett and Stinespring, Together at Last. QPL Chris Heunen, Robin Kaarsgaard
2021	J	`jnl`	Localisable Monads. CoRR Carmen M. Constantin, Nuiok Dicaire, Chris Heunen
2021	—	`ed.`	Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021. QPL Chris Heunen, Miriam Backens
2021	J	`jnl`	Quantum Information Effects. CoRR Chris Heunen, Robin Kaarsgaard
2021	J	`jnl`	Topos Quantum Theory with Short Posets. Order John Harding, Chris Heunen
2019	J	`jnl`	Boolean Subalgebras of Orthoalgebras. Order John Harding, Chris Heunen, Bert Lindenhovius, Mirko Navara
2019	J	`jnl`	Domains of commutative C*-subalgebras. Math. Struct. Comput. Sci. Chris Heunen, Bert Lindenhovius
2019	—	`conf`	Ontological models for quantum theory as functors. QPL Alexandru Gheorghiu, Chris Heunen
2018	J	`jnl`	Denotational validation of higher-order Bayesian inference. Proc. ACM Program. Lang. Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
2018	B	`conf`	Reversible Effects as Inverse Arrows. MFPS Chris Heunen, Robin Kaarsgaard, Martti Karvonen
2018	J	`jnl`	Reversible effects as inverse arrows. CoRR Chris Heunen, Robin Kaarsgaard, Martti Karvonen
2018	J	`jnl`	The Category of Matroids. Appl. Categorical Struct. Chris Heunen, Vaia Patta
2017	J	`jnl`	A Convenient Category for Higher-Order Probability Theory. CoRR Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
2017	A*	`conf`	A convenient category for higher-order probability theory. LICS Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang
2017	J	`jnl`	Denotational validation of higher-order Bayesian inference. CoRR Adam Scibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani
2017	—	`ed.`	Proceedings 13th International Conference on Quantum Physics and Logic, QPL 2016, Glasgow, Scotland, 6-10 June 2016. QPL Ross Duncan, Chris Heunen
2017	—	`conf`	Purity through Factorisation. QPL Oscar Cunningham, Chris Heunen
2017	—	`conf`	Space in Monoidal Categories. QPL Pau Enrique Moliner, Chris Heunen, Sean Tull
2017	J	`jnl`	The Many Classical Faces of Quantum Structures. Entropy Chris Heunen
2016	J	`jnl`	Can quantum theory be characterized in information-theoretic terms? CoRR Chris Heunen, Aleks Kissinger
2016	J	`jnl`	Categories of quantum and classical channels. Quantum Inf. Process. Bob Coecke, Chris Heunen, Aleks Kissinger
2016	J	`jnl`	Pictures of complete positivity in arbitrary dimension. Inf. Comput. Bob Coecke, Chris Heunen
2016	A*	`conf`	Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. LICS Sam Staton, Hongseok Yang, Frank D. Wood, Chris Heunen, Ohad Kammar
2016	J	`jnl`	Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. CoRR Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, Frank D. Wood
2015	—	`conf`	Axiomatizing complete positivity. QPL Oscar Cunningham, Chris Heunen
2015	—	`conf`	Categories of relations as models of quantum theory. QPL Chris Heunen, Sean Tull
2015	A*	`conf`	Domains of Commutative C-Subalgebras. LICS Chris Heunen, Bert Lindenhovius
2015	J	`jnl`	Domains of commutative C*-subalgebras. CoRR Chris Heunen, Bert Lindenhovius
2015	—	`ed.`	Proceedings 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford, UK, July 15-17, 2015. QPL Chris Heunen, Peter Selinger, Jamie Vicary
2015	B	`conf`	Reversible Monadic Computing. MFPS Chris Heunen, Martti Karvonen
2015	J	`jnl`	Reversible monadic computing. CoRR Chris Heunen, Martti Karvonen
2014	—	`conf`	Mixed quantum states in higher categories. QPL Chris Heunen, Jamie Vicary, Linde Wester
2014	—	`conf`	Piecewise Boolean Algebras and Their Domains. ICALP (2) Chris Heunen
2014	J	`jnl`	Piecewise Boolean algebras and their domains. CoRR Chris Heunen
2013	—	`conf`	Completely positive projections and biproducts. QPL Chris Heunen, Aleks Kissinger, Peter Selinger
2013	—	`conf`	Compositional Quantum Logic. Computation, Logic, Games, and Quantum Foundations Bob Coecke, Chris Heunen, Aleks Kissinger
2013	J	`jnl`	Erratum to: Noncommutativity as a Colimit. Appl. Categorical Struct. Benno van den Berg, Chris Heunen
2013	—	`conf`	On the Functor ℓ2. Computation, Logic, Games, and Quantum Foundations Chris Heunen
2013	—	`book`	Quantum Physics and Linguistics - A Compositional, Diagrammatic Discourse. Quantum Physics and Linguistics Chris Heunen, Mehrnoosh Sadrzadeh, Edward Grefenstette
2012	J	`jnl`	Bohrification of operator algebras and quantum logic. Synth. Chris Heunen, Nicolaas P. Landsman, Bas Spitters
2012	—	`conf`	Categories of Quantum and Classical Channels (extended abstract). QPL Bob Coecke, Chris Heunen, Aleks Kissinger
2012	J	`jnl`	Noncommutativity as a Colimit. Appl. Categorical Struct. Benno van den Berg, Chris Heunen
2011	—	`conf`	Completely positive classical structures and sequentializable quantum protocols. QPL Chris Heunen, Sergio Boixo
2011	—	`conf`	No-go theorems for functorial localic spectra of noncommutative rings. QPL Benno van den Berg, Chris Heunen
2011	—	`conf`	Pictures of complete positivity in arbitrary dimension. QPL Bob Coecke, Chris Heunen
2010	J	`jnl`	Quantum Logic in Dagger Kernel Categories. Order Chris Heunen, Bart Jacobs
2009	J	`jnl`	Categorical semantics for arrows. J. Funct. Program. Bart Jacobs, Chris Heunen, Ichiro Hasuo
2009	B	`conf`	Coalgebraic Components in a Many-Sorted Microcosm. CALCO Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
2009	—	`conf`	Quantum Logic in Dagger Kernel Categories. QPL@MFPS Chris Heunen, Bart Jacobs
2008	J	`jnl`	Compactly Accessible Categories and Quantum Key Distribution. Log. Methods Comput. Sci. Chris Heunen
2008	J	`jnl`	Compactly accessible categories and quantum key distribution CoRR Chris Heunen
2008	B	`conf`	Semimodule Enrichment. MFPS Chris Heunen
2006	B	`conf`	Arrows, like Monads, are Monoids. MFPS Chris Heunen, Bart Jacobs
2003	—	`conf`	Accurate Silhouettes - Do Polyhedral Models Suffice? GMAG Chris Heunen