Compositional Quantum Logic (Q4922071): Difference between revisions

@@ Property / cites work @@
+H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
+Normal rank
@@ Property / cites work @@
+The logic of quantum mechanics
@@ Property / cites work: The logic of quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Cartesian bicategories. I
@@ Property / cites work: Cartesian bicategories. I / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatic Description of Mixed States From Selinger's CPM-construction
+Normal rank
@@ Property / cites work @@
+The logic of quantum mechanics - Take II
@@ Property / cites work: The logic of quantum mechanics - Take II / rank @@
+Normal rank
@@ Property / cites work @@
+Phase Groups and the Origin of Non-locality for Qubits
+Normal rank
@@ Property / cites work @@
+Categories of quantum and classical channels
@@ Property / cites work: Categories of quantum and classical channels / rank @@
+Normal rank
@@ Property / cites work @@
+The Compositional Structure of Multipartite Quantum Entanglement
+Normal rank
@@ Property / cites work @@
+Categories for the Practising Physicist
@@ Property / cites work: Categories for the Practising Physicist / rank @@
+Normal rank
@@ Property / cites work @@
+Picturing classical and quantum Bayesian inference
+Normal rank
@@ Property / cites work @@
+Rewriting Measurement-Based Quantum Computations with Generalised Flow
+Normal rank
@@ Property / cites work @@
+Q4864496
@@ Property / cites work: Q4864496 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational Statistics. I. Basic Concepts
@@ Property / cites work: Operational Statistics. I. Basic Concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245484
@@ Property / cites work: Q3245484 / rank @@
+Normal rank
@@ Property / cites work @@
+A link between quantum logic and categorical quantum mechanics
+Normal rank
@@ Property / cites work @@
+Daggers, kernels, Baer *-semigroups, and orthomodularity
+Normal rank
@@ Property / cites work @@
+Relative Frobenius algebras are groupoids
@@ Property / cites work: Relative Frobenius algebras are groupoids / 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 @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704445
@@ Property / cites work: Q3704445 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5723020
@@ Property / cites work: Q5723020 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum and Classical Structures in Nondeterminstic Computation
+Normal rank
@@ Property / cites work @@
+Q5516132
@@ Property / cites work: Q5516132 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100556
@@ Property / cites work: Q4100556 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum logic in algebraic approach
@@ Property / cites work: Quantum logic in algebraic approach / rank @@
+Normal rank
@@ Property / cites work @@
+Dagger Compact Closed Categories and Completely Positive Maps
+Normal rank
@@ Property / cites work @@
+Idempotents in Dagger Categories
@@ Property / cites work: Idempotents in Dagger Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of hilbert spaces by orthomodular spaces
+Normal rank
@@ Property / cites work @@
+Categorical formulation of finite-dimensional quantum algebras
+Normal rank