Theo dõi
Chris Heunen
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Categories for Quantum Theory: an introduction
C Heunen, J Vicary
Oxford University Press, 2019
284*2019
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
2152017
A topos for algebraic quantum theory
C Heunen, NP Landsman, B Spitters
Communications in mathematical physics 291 (1), 63-110, 2009
1842009
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
1832016
Categories of quantum and classical channels
B Coecke, C Heunen, A Kissinger
Quantum Information Processing 15, 5179-5209, 2016
912016
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
902017
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
88*2018
Automated distribution of quantum circuits via hypergraph partitioning
P Andres-Martinez, C Heunen
Physical Review A 100 (3), 032308, 2019
782019
H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
S Abramsky, C Heunen
Clifford Lectures, AMS Proceedings of Symposia in Applied Mathematics 71, 1--24, 2012
682012
Categorical semantics for arrows
B Jacobs, C Heunen, I Hasuo
Journal of Functional Programming 19 (3-4), 403-438, 2009
682009
Quantum realization of arbitrary joint measurability structures
R Kunjwal, C Heunen, T Fritz
Physical Review A 89 (5), 052126, 2014
662014
Quantum logic in dagger kernel categories
C Heunen, B Jacobs
Order 27 (2), 177-212, 2010
632010
Quantum Physics and Linguistics: A Compositional ‚Diagrammatic Discourse
E Grefenstette, C Heunen, M Sadrzadeh
Oxford University Press, 2013
582013
Bohrification of operator algebras and quantum logic
C Heunen, NP Landsman, B Spitters
Synthese 186 (3), 719-752, 2012
542012
Intuitionistic quantum logic of an n-level system
M Caspers, C Heunen, NP Landsman, B Spitters
Foundations of Physics 39 (7), 731-759, 2009
502009
Noncommutativity as a colimit
B Van Den Berg, C Heunen
Applied Categorical Structures, 1-22, 2011
492011
Categorical quantum models and logics
C Heunen
Amsterdam University Press, 2009
472009
Arrows, like monads, are monoids
C Heunen, B Jacobs
Electronic Notes in Theoretical Computer Science 158, 219-236, 2006
472006
Bohrification
C Heunen, NP Landsman, B Spitters
Deep Beauty: Understanding the Quantum World through Mathematical Innovation …, 2009
462009
Relative Frobenius algebras are groupoids
C Heunen, I Contreras, AS Cattaneo
Journal of Pure and Applied Algebra 217, 114-124, 2013
452013
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20