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

@@ Property / describes a project that uses @@
+QPL
@@ Property / describes a project that uses: QPL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2138228565
@@ Property / OpenAlex ID: W2138228565 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113318311
@@ Property / Wikidata QID: Q113318311 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1011
@@ Property / arXiv ID: 1006.1011 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2825368