Articles with public access mandates - Chris HeunenLearn more
Available somewhere: 32
A convenient category for higher-order probability theory
C Heunen, O Kammar, S Staton, H Yang
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
S Staton, H Yang, F Wood, C Heunen, O Kammar
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Categories of quantum and classical channels
B Coecke, C Heunen, A Kissinger
Quantum Information Processing 15, 5179-5209, 2016
Mandates: UK Engineering and Physical Sciences Research Council
Denotational validation of higher-order Bayesian inference
O Kammar, S Staton, H Yang, Y Cai, K Ostermann, M Vákár, A Ścibior, ...
Proceedings of the ACM on Programming Languages 2 (POPL), 2018
Mandates: UK Engineering and Physical Sciences Research Council, Royal Society UK
Can a quantum state over time resemble a quantum state at a single time?
D Horsman, C Heunen, MF Pusey, J Barrett, RW Spekkens
Proceedings of the Royal Society A: Mathematical, Physical and Engineering …, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Quantum realization of arbitrary joint measurability structures
R Kunjwal, C Heunen, T Fritz
Physical Review A 89 (5), 052126, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Automated distribution of quantum circuits via hypergraph partitioning
P Andres-Martinez, C Heunen
Physical Review A 100 (3), 032308, 2019
Mandates: UK Engineering and Physical Sciences Research Council
Relative Frobenius algebras are groupoids
C Heunen, I Contreras, AS Cattaneo
Journal of Pure and Applied Algebra 217, 114-124, 2013
Mandates: Swiss National Science Foundation
The category of matroids
C Heunen, V Patta
Applied Categorical Structures 26, 205-237, 2018
Mandates: UK Engineering and Physical Sciences Research Council
Axioms for the category of Hilbert spaces
C Heunen, A Kornell
Proceedings of the National Academy of Sciences 119 (9), e2117024119, 2022
Mandates: US Department of Defense, UK Engineering and Physical Sciences Research Council
Coalgebraic components in a many-sorted microcosm
I Hasuo, C Heunen, B Jacobs, A Sokolova
Algebra and Coalgebra in Computer Science, 64-80, 2009
Mandates: Austrian Science Fund
Frobenius structures over Hilbert C*-modules
C Heunen, ML Reyes
Communications in Mathematical Physics 361 (2), 787-824, 2018
Mandates: US National Science Foundation, UK Engineering and Physical Sciences …
Quantum theory realizes all joint measurability graphs
C Heunen, T Fritz, ML Reyes
Physical Review A 89 (3), 032121, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Space in monoidal categories
PE Moliner, C Heunen, S Tull
arXiv preprint arXiv:1704.08086, 2017
Mandates: UK Engineering and Physical Sciences Research Council
The many classical faces of quantum structures
C Heunen
Entropy 19 (4), 144, 2017
Mandates: UK Engineering and Physical Sciences Research Council
Reversible monadic computing
C Heunen, M Karvonen
Electronic Notes in Theoretical Computer Science 319, 217-237, 2015
Mandates: UK Engineering and Physical Sciences Research Council
Quantum information effects
C Heunen, R Kaarsgaard
Proceedings of the ACM on Programming Languages 6 (POPL), 1-27, 2022
Mandates: Danish Council for Independent Research, UK Engineering and Physical …
Characterizations of categories of commutative C*-subalgebras
C Heunen
Communications in Mathematical Physics 331 (1), 215-238, 2014
Mandates: UK Engineering and Physical Sciences Research Council
Reversible effects as inverse arrows
C Heunen, R Kaarsgaard, M Karvonen
Electronic Notes in Theoretical Computer Science 341, 179-199, 2018
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Domains of commutative C*-subalgebras
C Heunen, B Lindenhovius
Mathematical Structures in Computer Science 29 (7), 972-1006, 2019
Mandates: US Department of Defense, Netherlands Organisation for Scientific Research …
Publication and funding information is determined automatically by a computer program