Higher semantics of quantum protocols

DOI10.1109/LICS.2012.70MaRDI QIDQ2986839zbMATH OpenWikidataFDO

Authors Jamie Vicary

Publication date 16 May 2017

Published in 2012 27th Annual IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/LICS.2012.70

zbMATH Keywords

category theoryquantum computinghigher categories

Mathematics Subject Classification ID

Quantum computation (81P68) Categorical semantics of formal languages (18C50)

Recommendations

• Mixed quantum states in higher categories
• A 2-categorical analysis of complementary families, quantum key distribution and the mean king problem
• Bicategorical semantics for nondeterministic computation

Cited in

(15)

• A 2-categorical analysis of complementary families, quantum key distribution and the mean king problem
• Bicategorical semantics for nondeterministic computation
• Geometric constructions of generalized dual-unitary circuits from biunitarity
• Bases in diagrammatic quantum protocols
• Mixed quantum states in higher categories
• Charged Rényi entropies in CFTs with Einstein-Gauss-Bonnet holographic duals
• Shaded tangles for the design and verification of quantum programs (extended abstract)
• A covariant Stinespring theorem
• A compositional approach to quantum functions
• Shaded tangles for the design and verification of quantum circuits
• Covariant quantum combinatorics with applications to zero-error communication
• Biunitary constructions in quantum information
• Universal constructions for (co)relations: categories, monoidal categories, and props
• Quon 3D language for quantum information
• The Morita theory of quantum graph isomorphisms

This page was built for publication: Higher semantics of quantum protocols

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2986839)