A computer scientist’s reconstruction of quantum theory* (Q5876440): Difference between revisions

@@ Property / OpenAlex ID @@
+W3199975410
@@ Property / OpenAlex ID: W3199975410 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order interference and single-system postulates characterizing quantum theory
+Normal rank
@@ Property / cites work @@
+Total and Partial Computation in Categorical Quantum Foundations
+Normal rank
@@ Property / cites work @@
+Semantics for a quantum programming language by operator algebras
+Normal rank
@@ Property / cites work @@
+Q5015193
@@ Property / cites work: Q5015193 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing quantum theory in terms of information-theoretic constraints
+Normal rank
@@ Property / cites work @@
+Terminality implies non-signalling
@@ Property / cites work: Terminality implies non-signalling / rank @@
+Normal rank
@@ Property / cites work @@
+Environment and Classical Channels in Categorical Quantum Mechanics
+Normal rank
@@ Property / cites work @@
+Q4508550
@@ Property / cites work: Q4508550 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum Theory from First Principles
@@ Property / cites work: Quantum Theory from First Principles / rank @@
+Normal rank
@@ Property / cites work @@
+Space in Monoidal Categories
@@ Property / cites work: Space in Monoidal Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Derivation of the rules of quantum mechanics from information-theoretic axioms
+Normal rank
@@ Property / cites work @@
+Effect algebras and unsharp quantum logics.
@@ Property / cites work: Effect algebras and unsharp quantum logics. / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite-dimensional Categorical Quantum Mechanics
+Normal rank
@@ Property / cites work @@
+Categorical Probabilistic Theories
@@ Property / cites work: Categorical Probabilistic Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential products on effect algebras
@@ Property / cites work: Sequential products on effect algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential quantum measurements
@@ Property / cites work: Sequential quantum measurements / rank @@
+Normal rank
@@ Property / cites work @@
+Convex structures and effect algebras
@@ Property / cites work: Convex structures and effect algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4675502
@@ Property / cites work: Q4675502 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure and Tensor Products of JC-Algebras
+Normal rank
@@ Property / cites work @@
+Q3726815
@@ Property / cites work: Q3726815 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5186181
@@ Property / cites work: Q5186181 / rank @@
+Normal rank
@@ Property / cites work @@
+An embedding theorem for Hilbert categories
@@ Property / cites work: An embedding theorem for Hilbert categories / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum logic in dagger kernel categories
@@ Property / cites work: Quantum logic in dagger kernel categories / rank @@
+Normal rank
@@ Property / cites work @@
+Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
+Normal rank
@@ Property / cites work @@
+Probabilities, distribution monads, and convex categories
+Normal rank
@@ Property / cites work @@
+Coreflections in algebraic quantum logic
@@ Property / cites work: Coreflections in algebraic quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+States of Convex Sets
@@ Property / cites work: States of Convex Sets / rank @@
+Normal rank
@@ Property / cites work @@
+The expectation monad in quantum foundations
@@ Property / cites work: The expectation monad in quantum foundations / rank @@
+Normal rank
@@ Property / cites work @@
+Operator algebras with a faithful weakly-closed representation
+Normal rank
@@ Property / cites work @@
+Thermodynamics and the structure of quantum theory
+Normal rank
@@ Property / cites work @@
+Poisson Spaces with a Transition Probability
@@ Property / cites work: Poisson Spaces with a Transition Probability / rank @@
+Normal rank
@@ Property / cites work @@
+A derivation of quantum theory from physical requirements
+Normal rank
@@ Property / cites work @@
+Entanglement and the three-dimensionality of the Bloch ball
+Normal rank
@@ Property / cites work @@
+Conditional probability, three-slit experiments, and the Jordan algebra structure of quantum mechanics
+Normal rank
@@ Property / cites work @@
+A simple and quantum-mechanically motivated characterization of the formally real Jordan algebras
+Normal rank
@@ Property / cites work @@
+Quantum programming with inductive datatypes: causality and affine type theory
+Normal rank
@@ Property / cites work @@
+The arithmetics of quadratic Jordan algebras
@@ Property / cites work: The arithmetics of quadratic Jordan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a quantum programming language
@@ Property / cites work: Towards a quantum programming language / rank @@
+Normal rank
@@ Property / cites work @@
+On normed Jordan algebras which are Banach dual spaces
+Normal rank
@@ Property / cites work @@
+Characterization of hilbert spaces by orthomodular spaces
+Normal rank
@@ Property / cites work @@
+A Categorical Reconstruction of Quantum Theory
@@ Property / cites work: A Categorical Reconstruction of Quantum Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Three characterisations of the sequential product
@@ Property / cites work: Three characterisations of the sequential product / rank @@
+Normal rank
@@ Property / cites work @@
+An effect-theoretic reconstruction of quantum theory
+Normal rank
@@ Property / cites work @@
+Sequential product spaces are Jordan algebras
@@ Property / cites work: Sequential product spaces are Jordan algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Commutativity in Jordan operator algebras
@@ Property / cites work: Commutativity in Jordan operator algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of †-categories and the complex numbers
+Normal rank
@@ Property / cites work @@
+A characterisation of ordered abstract probabilities
+Normal rank
@@ Property / cites work @@
+Q5014793
@@ Property / cites work: Q5014793 / rank @@
+Normal rank
@@ Property / cites work @@
+Measures with Values in a Partially Ordered Vector Space
+Normal rank