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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Vicary, J
Formáid:	Conference item
Foilsithe / Cruthaithe:	Institute of Electrical and Electronics Engineers 2012

Míreanna comhchosúla

Higher Semantics for Quantum Protocols
de réir: Vicary, J
Foilsithe / Cruthaithe: (2012)

Mixed quantum states in higher categories
de réir: Chris Heunen, et al.
Foilsithe / Cruthaithe: (2014-12-01)

Groupoid Semantics for Thermal Computing
de réir: Bar, K, et al.
Foilsithe / Cruthaithe: (2014)

Bicategorical semantics for nondeterministic computation
de réir: Vicary, J, et al.
Foilsithe / Cruthaithe: (2013)

Groupoid Semantics for Thermal Computing
de réir: Bar, K, et al.
Foilsithe / Cruthaithe: (2014)

A Categorical Semantics of Quantum Protocols
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2004)

A categorical semantics of quantum protocols
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2004)

A Categorical semantics of Quantum Protocols
de réir: Abramsky, S, et al.
Foilsithe / Cruthaithe: (2004)

Topological Structure of Quantum Algorithms
de réir: Vicary, J
Foilsithe / Cruthaithe: (2013)

Categorical Formulation of Finite-Dimensional Quantum Algebras
de réir: Vicary, J
Foilsithe / Cruthaithe: (2011)

Categorical formulation of finite−dimensional quantum algebras
de réir: Vicary, J
Foilsithe / Cruthaithe: (2010)

A categorical framework for the quantum harmonic oscillator
de réir: Vicary, J
Foilsithe / Cruthaithe: (2008)

Higher-order semantics for quantum programming languages with classical control
de réir: Atzemoglou, GP
Foilsithe / Cruthaithe: (2012)

Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
de réir: Simon J. Gay, et al.
Foilsithe / Cruthaithe: (2014-07-01)

Biunitary constructions in quantum information
de réir: Vicary, J, et al.
Foilsithe / Cruthaithe: (2017)

Biunitary constructions in quantum information
de réir: Reutter, D, et al.
Foilsithe / Cruthaithe: (2017)

Biunitary constructions in quantum information
de réir: Reutter, D, et al.
Foilsithe / Cruthaithe: (2019)

Data structures for quasistrict higher categories
de réir: Bar, K, et al.
Foilsithe / Cruthaithe: (2017)

Orthogonality for quantum Latin isometry squares
de réir: Musto, B, et al.
Foilsithe / Cruthaithe: (2018)

A classical groupoid model for quantum networks
de réir: Reutter, D, et al.
Foilsithe / Cruthaithe: (2017)

Abstract structure of unitary oracles for quantum algorithms
de réir: Zeng, W, et al.
Foilsithe / Cruthaithe: (2014)

Shaded tangles for the design and verification of quantum programs
de réir: Reutter, D, et al.
Foilsithe / Cruthaithe: (2018)

Quantum Latin squares and unitary error bases
de réir: Musto, B, et al.
Foilsithe / Cruthaithe: (2016)

Tight reference frame-independent quantum teleportation
de réir: Verdon, D, et al.
Foilsithe / Cruthaithe: (2017)

Quantum Latin squares and unitary error bases
de réir: Musto, B, et al.
Foilsithe / Cruthaithe: (2016)

A 2-categorical approach to composing quantum structures
de réir: Reutter, D, et al.
Foilsithe / Cruthaithe: (2017)

Orthogonality for Quantum Latin Isometry Squares
de réir: Benjamin Musto, et al.
Foilsithe / Cruthaithe: (2019-01-01)

A classical groupoid model for quantum networks
de réir: David J. Reutter, et al.
Foilsithe / Cruthaithe: (2019-03-01)

Perfect tight quantum teleportation without a shared reference frame
de réir: Verdon, D, et al.
Foilsithe / Cruthaithe: (2018)

Globular: an online proof assistant for higher-dimensional rewriting
de réir: Bar, K, et al.
Foilsithe / Cruthaithe: (2018)

Globular: an online proof assistant for higher-dimensional rewriting
de réir: Vicary, J, et al.
Foilsithe / Cruthaithe: (2016)

Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
de réir: David Reutter, et al.
Foilsithe / Cruthaithe: (2018-02-01)

The Implications of Contractual Terms of Employment for Women and Leadership: An Autoethnographic Study in UK Higher Education
de réir: Anne Vicary, et al.
Foilsithe / Cruthaithe: (2017-06-01)

Globular: an online proof assistant for higher-dimensional rewriting
de réir: Krzysztof Bar, et al.
Foilsithe / Cruthaithe: (2018-01-01)

Semantic embedding for quantum algorithms
de réir: Rossi, Zane M, et al.
Foilsithe / Cruthaithe: (2024)

A hierarchy of quantum semantics
de réir: Perdrix, S
Foilsithe / Cruthaithe: (2008)

A Hierarchy of Quantum Semantics.
de réir: Perdrix, S
Foilsithe / Cruthaithe: (2007)

Semantic techniques in quantum computation /
de réir: Gay, Simon, 1969-, et al.
Foilsithe / Cruthaithe: (2010)

Quantum semantics of text perception
de réir: Ilya A. Surov, et al.
Foilsithe / Cruthaithe: (2021-02-01)

Higher Order Unification and the Semantics of Focus
de réir: Pulman, S
Foilsithe / Cruthaithe: (1993)