Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories (Q2825368): Difference between revisions

@@ Property / cites work @@
+Big toy models. Representing physical systems as Chu spaces
+Normal rank
@@ Property / cites work @@
+Coalgebras, Chu spaces, and representations of physical systems
+Normal rank
@@ Property / cites work @@
+Q2918873
@@ Property / cites work: Q2918873 / rank @@
+Normal rank
@@ Property / cites work @@
+*-autonomous categories. With an appendix by Po-Hsiang Chu
+Normal rank
@@ Property / cites work @@
+The logic of quantum mechanics
@@ Property / cites work: The logic of quantum mechanics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342439
@@ Property / cites work: Q4342439 / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly distributive categories
@@ Property / cites work: Weakly distributive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5448360
@@ Property / cites work: Q5448360 / rank @@
+Normal rank
@@ Property / cites work @@
+Interacting Quantum Observables
@@ Property / cites work: Interacting Quantum Observables / rank @@
+Normal rank
@@ Property / cites work @@
+Phase Groups and the Origin of Non-locality for Qubits
+Normal rank
@@ Property / cites work @@
+Toy Quantum Categories (Extended Abstract)
@@ Property / cites work: Toy Quantum Categories (Extended Abstract) / rank @@
+Normal rank
@@ Property / cites work @@
+Classical and quantum structuralism
@@ Property / cites work: Classical and quantum structuralism / rank @@
+Normal rank
@@ Property / cites work @@
+The Compositional Structure of Multipartite Quantum Entanglement
+Normal rank
@@ Property / cites work @@
+A new description of orthogonal bases
@@ Property / cites work: A new description of orthogonal bases / rank @@
+Normal rank
@@ Property / cites work @@
+The mix rule
@@ Property / cites work: The mix rule / 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 @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245484
@@ Property / cites work: Q3245484 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical logic and type theory
@@ Property / cites work: Categorical logic and type theory / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence for compact closed categories
@@ Property / cites work: Coherence for compact closed categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q5642701
@@ Property / cites work: Q5642701 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5723020
@@ Property / cites work: Q5723020 / rank @@
+Normal rank
@@ Property / cites work @@
+Sheaves in geometry and logic: a first introduction to topos theory
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282578
@@ Property / cites work: Q4282578 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantum and Classical Structures in Nondeterminstic Computation
+Normal rank
@@ Property / cites work @@
+Q4362965
@@ Property / cites work: Q4362965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4100556
@@ Property / cites work: Q4100556 / rank @@
+Normal rank
@@ Property / cites work @@
+An Approach to Empirical Logic
@@ Property / cites work: An Approach to Empirical Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Operational statistics. II. Manuals of operations and their logics
+Normal rank
@@ Property / cites work @@
+Towards a quantum programming language
@@ Property / cites work: Towards a quantum programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Dagger Compact Closed Categories and Completely Positive Maps
+Normal rank
@@ Property / cites work @@
+Q2851804
@@ Property / cites work: Q2851804 / rank @@
+Normal rank