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

书目详细资料
主要作者:	Vicary, J
格式:	Conference item
出版:	Institute of Electrical and Electronics Engineers 2012

相似书籍

Higher Semantics for Quantum Protocols
由: Vicary, J
出版: (2012)

Mixed quantum states in higher categories
由: Chris Heunen, et al.
出版: (2014-12-01)

Groupoid Semantics for Thermal Computing
由: Bar, K, et al.
出版: (2014)

Bicategorical semantics for nondeterministic computation
由: Vicary, J, et al.
出版: (2013)

Groupoid Semantics for Thermal Computing
由: Bar, K, et al.
出版: (2014)

A Categorical Semantics of Quantum Protocols
由: Abramsky, S, et al.
出版: (2004)

A categorical semantics of quantum protocols
由: Abramsky, S, et al.
出版: (2004)

A Categorical semantics of Quantum Protocols
由: Abramsky, S, et al.
出版: (2004)

Topological Structure of Quantum Algorithms
由: Vicary, J
出版: (2013)

Categorical Formulation of Finite-Dimensional Quantum Algebras
由: Vicary, J
出版: (2011)

Categorical formulation of finite−dimensional quantum algebras
由: Vicary, J
出版: (2010)

A categorical framework for the quantum harmonic oscillator
由: Vicary, J
出版: (2008)

Higher-order semantics for quantum programming languages with classical control
由: Atzemoglou, GP
出版: (2012)

Biunitary constructions in quantum information
由: Vicary, J, et al.
出版: (2017)

Biunitary constructions in quantum information
由: Reutter, D, et al.
出版: (2017)

Biunitary constructions in quantum information
由: Reutter, D, et al.
出版: (2019)

Data structures for quasistrict higher categories
由: Bar, K, et al.
出版: (2017)

Orthogonality for quantum Latin isometry squares
由: Musto, B, et al.
出版: (2018)

A classical groupoid model for quantum networks
由: Reutter, D, et al.
出版: (2017)

Abstract structure of unitary oracles for quantum algorithms
由: Zeng, W, et al.
出版: (2014)

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

Quantum Latin squares and unitary error bases
由: Musto, B, et al.
出版: (2016)

Tight reference frame-independent quantum teleportation
由: Verdon, D, et al.
出版: (2017)

Quantum Latin squares and unitary error bases
由: Musto, B, et al.
出版: (2016)

A 2-categorical approach to composing quantum structures
由: Reutter, D, et al.
出版: (2017)

Orthogonality for Quantum Latin Isometry Squares
由: Benjamin Musto, et al.
出版: (2019-01-01)

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

Perfect tight quantum teleportation without a shared reference frame
由: Verdon, D, et al.
出版: (2018)

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

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

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

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

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

Semantic embedding for quantum algorithms
由: Rossi, Zane M, et al.
出版: (2024)

A hierarchy of quantum semantics
由: Perdrix, S
出版: (2008)

A Hierarchy of Quantum Semantics.
由: Perdrix, S
出版: (2007)

Semantic techniques in quantum computation /
由: Gay, Simon, 1969-, et al.
出版: (2010)

Quantum semantics of text perception
由: Ilya A. Surov, et al.
出版: (2021-02-01)

Higher Order Unification and the Semantics of Focus
由: Pulman, S
出版: (1993)

Semantics of Higher-Order Recursion Schemes
由: Jiri Adamek, et al.
出版: (2011-04-01)