A Diagrammatic Axiomatisation for Qubit Entanglement
From MaRDI portal
Publication:4635837
DOI10.1109/LICS.2015.59zbMath1401.81012arXiv1501.07082OpenAlexW1486765721WikidataQ64356760 ScholiaQ64356760MaRDI QIDQ4635837
Publication date: 23 April 2018
Published in: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1501.07082
Quantum coherence, entanglement, quantum correlations (81P40) Foundations, relations to logic and deductive systems (18A15)
Related Items
Monoidal reverse differential categories, Unnamed Item, (Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras, A Topological Perspective on Interacting Algebraic Theories, Categorical Probabilistic Theories, Unnamed Item, Light-Matter Interaction in the ZXW Calculus, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, The structure of sum-over-paths, its consequences, and completeness for Clifford, Shaded tangles for the design and verification of quantum circuits, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Kindergarden quantum mechanics graduates \textit{...or how I learned to stop gluing LEGO together and love the ZX-calculus}