Higher semantics of quantum protocols

Higher semantics of quantum protocols

We propose a higher semantics for the description of quantum protocols, which deals with quantum and classical information in a unified way. Central to our approach is the modelling of classical data by information transfer to the environment, and the use of 2-category theory to formalize the result...

Disgrifiad llawn

Manylion Llyfryddiaeth
Prif Awdur:	Vicary, J
Fformat:	Conference item
Cyhoeddwyd:	Institute of Electrical and Electronics Engineers 2012

Eitemau Tebyg

Higher Semantics for Quantum Protocols
gan: Vicary, J
Cyhoeddwyd: (2012)

Mixed quantum states in higher categories
gan: Chris Heunen, et al.
Cyhoeddwyd: (2014-12-01)

Groupoid Semantics for Thermal Computing
gan: Bar, K, et al.
Cyhoeddwyd: (2014)

Bicategorical semantics for nondeterministic computation
gan: Vicary, J, et al.
Cyhoeddwyd: (2013)

Groupoid Semantics for Thermal Computing
gan: Bar, K, et al.
Cyhoeddwyd: (2014)

A Categorical Semantics of Quantum Protocols
gan: Abramsky, S, et al.
Cyhoeddwyd: (2004)

A categorical semantics of quantum protocols
gan: Abramsky, S, et al.
Cyhoeddwyd: (2004)

A Categorical semantics of Quantum Protocols
gan: Abramsky, S, et al.
Cyhoeddwyd: (2004)

Topological Structure of Quantum Algorithms
gan: Vicary, J
Cyhoeddwyd: (2013)

Categorical Formulation of Finite-Dimensional Quantum Algebras
gan: Vicary, J
Cyhoeddwyd: (2011)

Categorical formulation of finite−dimensional quantum algebras
gan: Vicary, J
Cyhoeddwyd: (2010)

A categorical framework for the quantum harmonic oscillator
gan: Vicary, J
Cyhoeddwyd: (2008)

Higher-order semantics for quantum programming languages with classical control
gan: Atzemoglou, GP
Cyhoeddwyd: (2012)

Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
gan: Simon J. Gay, et al.
Cyhoeddwyd: (2014-07-01)

Biunitary constructions in quantum information
gan: Vicary, J, et al.
Cyhoeddwyd: (2017)

Biunitary constructions in quantum information
gan: Reutter, D, et al.
Cyhoeddwyd: (2017)

Biunitary constructions in quantum information
gan: Reutter, D, et al.
Cyhoeddwyd: (2019)

Data structures for quasistrict higher categories
gan: Bar, K, et al.
Cyhoeddwyd: (2017)

Orthogonality for quantum Latin isometry squares
gan: Musto, B, et al.
Cyhoeddwyd: (2018)

A classical groupoid model for quantum networks
gan: Reutter, D, et al.
Cyhoeddwyd: (2017)

Abstract structure of unitary oracles for quantum algorithms
gan: Zeng, W, et al.
Cyhoeddwyd: (2014)

Shaded tangles for the design and verification of quantum programs
gan: Reutter, D, et al.
Cyhoeddwyd: (2018)

Quantum Latin squares and unitary error bases
gan: Musto, B, et al.
Cyhoeddwyd: (2016)

Tight reference frame-independent quantum teleportation
gan: Verdon, D, et al.
Cyhoeddwyd: (2017)

Quantum Latin squares and unitary error bases
gan: Musto, B, et al.
Cyhoeddwyd: (2016)

A 2-categorical approach to composing quantum structures
gan: Reutter, D, et al.
Cyhoeddwyd: (2017)

Orthogonality for Quantum Latin Isometry Squares
gan: Benjamin Musto, et al.
Cyhoeddwyd: (2019-01-01)

A classical groupoid model for quantum networks
gan: David J. Reutter, et al.
Cyhoeddwyd: (2019-03-01)

Perfect tight quantum teleportation without a shared reference frame
gan: Verdon, D, et al.
Cyhoeddwyd: (2018)

Globular: an online proof assistant for higher-dimensional rewriting
gan: Bar, K, et al.
Cyhoeddwyd: (2018)

Globular: an online proof assistant for higher-dimensional rewriting
gan: Vicary, J, et al.
Cyhoeddwyd: (2016)

Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
gan: David Reutter, et al.
Cyhoeddwyd: (2018-02-01)

The Implications of Contractual Terms of Employment for Women and Leadership: An Autoethnographic Study in UK Higher Education
gan: Anne Vicary, et al.
Cyhoeddwyd: (2017-06-01)

Globular: an online proof assistant for higher-dimensional rewriting
gan: Krzysztof Bar, et al.
Cyhoeddwyd: (2018-01-01)

Semantic embedding for quantum algorithms
gan: Rossi, Zane M, et al.
Cyhoeddwyd: (2024)

A hierarchy of quantum semantics
gan: Perdrix, S
Cyhoeddwyd: (2008)

A Hierarchy of Quantum Semantics.
gan: Perdrix, S
Cyhoeddwyd: (2007)

Semantic techniques in quantum computation /
gan: Gay, Simon, 1969-, et al.
Cyhoeddwyd: (2010)

Quantum semantics of text perception
gan: Ilya A. Surov, et al.
Cyhoeddwyd: (2021-02-01)

Higher Order Unification and the Semantics of Focus
gan: Pulman, S
Cyhoeddwyd: (1993)