![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Chris Heunen
Person information
- affiliation: University of Edinburgh, UK
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j17]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): 546-574 (2024) - [c29]Jacques Carette
, Chris Heunen
, Robin Kaarsgaard
, Amr Sabry
:
Compositional Reversible Computation. RC 2024: 10-27 - [i15]Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry:
Compositional Reversible Computation. CoRR abs/2405.20842 (2024) - 2023
- [c28]Chris Heunen
, Jesse Sigal
:
Duoidally Enriched Freyd Categories. RAMiCS 2023: 241-257 - [i14]Chris Heunen, Jesse Sigal:
Duoidally enriched Freyd categories. CoRR abs/2301.05162 (2023) - [i13]Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
:
The Quantum Effect: A Recipe for QuantumPi. CoRR abs/2302.01885 (2023) - [i12]Jacques Carette, Chris Heunen, Robin Kaarsgaard, Amr Sabry
:
With a Few Square Roots, Quantum Computing is as Easy as Π. CoRR abs/2310.14056 (2023) - 2022
- [j16]Chris Heunen, Aleks Kissinger:
The CBH characterisation theorem beyond algebraic quantum theory. Inf. Comput. 285(Part): 104828 (2022) - [j15]Chris Heunen
, Robin Kaarsgaard
:
Quantum information effects. Proc. ACM Program. Lang. 6(POPL): 1-27 (2022) - [c27]Carmen M. Constantin, Nuiok Dicaire, Chris Heunen:
Localisable Monads. CSL 2022: 15:1-15:17 - [c26]Pablo Andrés-Martínez, Chris Heunen, Robin Kaarsgaard:
Universal Properties of Partial Quantum Maps. QPL 2022: 192-207 - 2021
- [j14]John Harding
, Chris Heunen:
Topos Quantum Theory with Short Posets. Order 38(1): 111-125 (2021) - [c25]Chris Heunen, Robin Kaarsgaard
:
Bennett and Stinespring, Together at Last. QPL 2021: 102-118 - [e4]Chris Heunen, Miriam Backens:
Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021. EPTCS 343, 2021 [contents] - [i11]Chris Heunen, Robin Kaarsgaard:
Quantum Information Effects. CoRR abs/2107.12144 (2021) - [i10]Carmen M. Constantin
, Nuiok Dicaire, Chris Heunen:
Localisable Monads. CoRR abs/2108.01756 (2021)
2010 – 2019
- 2019
- [j13]Chris Heunen, Bert Lindenhovius
:
Domains of commutative C*-subalgebras. Math. Struct. Comput. Sci. 29(7): 972-1006 (2019) - [j12]John Harding
, Chris Heunen, Bert Lindenhovius
, Mirko Navara
:
Boolean Subalgebras of Orthoalgebras. Order 36(3): 563-609 (2019) - [c24]Alexandru Gheorghiu
, Chris Heunen:
Ontological models for quantum theory as functors. QPL 2019: 196-212 - 2018
- [j11]Chris Heunen
, Vaia Patta
:
The Category of Matroids. Appl. Categorical Struct. 26(2): 205-237 (2018) - [j10]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): 60:1-60:29 (2018) - [c23]Chris Heunen, Robin Kaarsgaard
, Martti Karvonen
:
Reversible Effects as Inverse Arrows. MFPS 2018: 179-199 - [i9]Chris Heunen, Robin Kaarsgaard, Martti Karvonen:
Reversible effects as inverse arrows. CoRR abs/1805.08605 (2018) - 2017
- [j9]Chris Heunen
:
The Many Classical Faces of Quantum Structures. Entropy 19(4): 144 (2017) - [c22]Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang:
A convenient category for higher-order probability theory. LICS 2017: 1-12 - [c21]Oscar Cunningham, Chris Heunen:
Purity through Factorisation. QPL 2017: 315-328 - [c20]Pau Enrique Moliner, Chris Heunen, Sean Tull:
Space in Monoidal Categories. QPL 2017: 399-410 - [e3]Ross Duncan
, Chris Heunen:
Proceedings 13th International Conference on Quantum Physics and Logic, QPL 2016, Glasgow, Scotland, 6-10 June 2016. EPTCS 236, 2017 [contents] - [i8]Chris Heunen, Ohad Kammar, Sam Staton, Hongseok Yang:
A Convenient Category for Higher-Order Probability Theory. CoRR abs/1701.02547 (2017) - [i7]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 abs/1711.03219 (2017) - 2016
- [j8]Bob Coecke, Chris Heunen:
Pictures of complete positivity in arbitrary dimension. Inf. Comput. 250: 50-58 (2016) - [j7]Bob Coecke, Chris Heunen, Aleks Kissinger
:
Categories of quantum and classical channels. Quantum Inf. Process. 15(12): 5179-5209 (2016) - [c19]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: 525-534 - [i6]Sam Staton, Hongseok Yang, Chris Heunen, Ohad Kammar, Frank D. Wood:
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints. CoRR abs/1601.04943 (2016) - [i5]Chris Heunen, Aleks Kissinger:
Can quantum theory be characterized in information-theoretic terms? CoRR abs/1604.05948 (2016) - 2015
- [c18]Chris Heunen, Bert Lindenhovius:
Domains of Commutative C-Subalgebras. LICS 2015: 450-461 - [c17]Oscar Cunningham, Chris Heunen:
Axiomatizing complete positivity. QPL 2015: 148-157 - [c16]Chris Heunen, Sean Tull:
Categories of relations as models of quantum theory. QPL 2015: 247-261 - [c15]Chris Heunen, Martti Karvonen
:
Reversible Monadic Computing. MFPS 2015: 217-237 - [e2]Chris Heunen, Peter Selinger, Jamie Vicary:
Proceedings 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford, UK, July 15-17, 2015. EPTCS 195, 2015 [contents] - [i4]Chris Heunen, Bert Lindenhovius:
Domains of commutative C*-subalgebras. CoRR abs/1504.02730 (2015) - [i3]Chris Heunen, Martti Karvonen:
Reversible monadic computing. CoRR abs/1505.04330 (2015) - 2014
- [c14]Chris Heunen:
Piecewise Boolean Algebras and Their Domains. ICALP (2) 2014: 208-219 - [c13]Chris Heunen, Jamie Vicary, Linde Wester:
Mixed quantum states in higher categories. QPL 2014: 304-315 - [i2]Chris Heunen:
Piecewise Boolean algebras and their domains. CoRR abs/1404.6277 (2014) - 2013
- [j6]Benno van den Berg, Chris Heunen:
Erratum to: Noncommutativity as a Colimit. Appl. Categorical Struct. 21(1): 103-104 (2013) - [c12]Bob Coecke, Chris Heunen, Aleks Kissinger
:
Compositional Quantum Logic. Computation, Logic, Games, and Quantum Foundations 2013: 21-36 - [c11]Chris Heunen:
On the Functor ℓ2. Computation, Logic, Games, and Quantum Foundations 2013: 107-121 - [c10]Chris Heunen, Aleks Kissinger
, Peter Selinger
:
Completely positive projections and biproducts. QPL 2013: 71-83 - [e1]Chris Heunen, Mehrnoosh Sadrzadeh, Edward Grefenstette:
Quantum Physics and Linguistics - A Compositional, Diagrammatic Discourse. Oxford University Press 2013, ISBN 978-0-19-964629-6 [contents] - 2012
- [j5]Benno van den Berg, Chris Heunen:
Noncommutativity as a Colimit. Appl. Categorical Struct. 20(4): 393-414 (2012) - [j4]Chris Heunen, Nicolaas P. Landsman, Bas Spitters
:
Bohrification of operator algebras and quantum logic. Synth. 186(3): 719-752 (2012) - [c9]Bob Coecke, Chris Heunen, Aleks Kissinger
:
Categories of Quantum and Classical Channels (extended abstract). QPL 2012: 1-14 - 2011
- [c8]Benno van den Berg, Chris Heunen:
No-go theorems for functorial localic spectra of noncommutative rings. QPL 2011: 21-25 - [c7]Bob Coecke, Chris Heunen:
Pictures of complete positivity in arbitrary dimension. QPL 2011: 27-35 - [c6]Chris Heunen, Sergio Boixo:
Completely positive classical structures and sequentializable quantum protocols. QPL 2011: 91-101 - 2010
- [j3]Chris Heunen, Bart Jacobs:
Quantum Logic in Dagger Kernel Categories. Order 27(2): 177-212 (2010)
2000 – 2009
- 2009
- [j2]Bart Jacobs, Chris Heunen, Ichiro Hasuo
:
Categorical semantics for arrows. J. Funct. Program. 19(3-4): 403-438 (2009) - [c5]Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
:
Coalgebraic Components in a Many-Sorted Microcosm. CALCO 2009: 64-80 - [c4]Chris Heunen, Bart Jacobs:
Quantum Logic in Dagger Kernel Categories. QPL@MFPS 2009: 79-103 - 2008
- [j1]Chris Heunen:
Compactly Accessible Categories and Quantum Key Distribution. Log. Methods Comput. Sci. 4(4) (2008) - [c3]Chris Heunen:
Semimodule Enrichment. MFPS 2008: 193-208 - [i1]Chris Heunen:
Compactly accessible categories and quantum key distribution. CoRR abs/0811.2113 (2008) - 2006
- [c2]Chris Heunen, Bart Jacobs:
Arrows, like Monads, are Monoids. MFPS 2006: 219-236 - 2003
- [c1]Chris Heunen:
Accurate Silhouettes - Do Polyhedral Models Suffice? GMAG 2003: 69-74
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-07 00:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint