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, 等
出版事項: (2014-12-01)

Groupoid Semantics for Thermal Computing
著者:: Bar, K, 等
出版事項: (2014)

Bicategorical semantics for nondeterministic computation
著者:: Vicary, J, 等
出版事項: (2013)

Groupoid Semantics for Thermal Computing
著者:: Bar, K, 等
出版事項: (2014)

A Categorical Semantics of Quantum Protocols
著者:: Abramsky, S, 等
出版事項: (2004)

A categorical semantics of quantum protocols
著者:: Abramsky, S, 等
出版事項: (2004)

A Categorical semantics of Quantum Protocols
著者:: Abramsky, S, 等
出版事項: (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)

Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
著者:: Simon J. Gay, 等
出版事項: (2014-07-01)

Biunitary constructions in quantum information
著者:: Vicary, J, 等
出版事項: (2017)

Biunitary constructions in quantum information
著者:: Reutter, D, 等
出版事項: (2017)

Biunitary constructions in quantum information
著者:: Reutter, D, 等
出版事項: (2019)

Data structures for quasistrict higher categories
著者:: Bar, K, 等
出版事項: (2017)

Orthogonality for quantum Latin isometry squares
著者:: Musto, B, 等
出版事項: (2018)

A classical groupoid model for quantum networks
著者:: Reutter, D, 等
出版事項: (2017)

Abstract structure of unitary oracles for quantum algorithms
著者:: Zeng, W, 等
出版事項: (2014)

Shaded tangles for the design and verification of quantum programs
著者:: Reutter, D, 等
出版事項: (2018)

Quantum Latin squares and unitary error bases
著者:: Musto, B, 等
出版事項: (2016)

Tight reference frame-independent quantum teleportation
著者:: Verdon, D, 等
出版事項: (2017)

Quantum Latin squares and unitary error bases
著者:: Musto, B, 等
出版事項: (2016)

A 2-categorical approach to composing quantum structures
著者:: Reutter, D, 等
出版事項: (2017)

Orthogonality for Quantum Latin Isometry Squares
著者:: Benjamin Musto, 等
出版事項: (2019-01-01)

A classical groupoid model for quantum networks
著者:: David J. Reutter, 等
出版事項: (2019-03-01)

Perfect tight quantum teleportation without a shared reference frame
著者:: Verdon, D, 等
出版事項: (2018)

Abstract structure of unitary oracles for quantum algorithms
著者:: William Zeng, 等
出版事項: (2014-12-01)

Globular: an online proof assistant for higher-dimensional rewriting
著者:: Bar, K, 等
出版事項: (2018)

Globular: an online proof assistant for higher-dimensional rewriting
著者:: Vicary, J, 等
出版事項: (2016)

Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)
著者:: David Reutter, 等
出版事項: (2018-02-01)

The Implications of Contractual Terms of Employment for Women and Leadership: An Autoethnographic Study in UK Higher Education
著者:: Anne Vicary, 等
出版事項: (2017-06-01)

Globular: an online proof assistant for higher-dimensional rewriting
著者:: Krzysztof Bar, 等
出版事項: (2018-01-01)

Semantic embedding for quantum algorithms
著者:: Rossi, Zane M, 等
出版事項: (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-, 等
出版事項: (2010)

Quantum semantics of text perception
著者:: Ilya A. Surov, 等
出版事項: (2021-02-01)