Concurrent quantum strategies

DOI10.1007/978-3-030-21500-2_1MaRDI QIDQ5237210zbMATH OpenOpenAlexFDO

Authors Pierre Clairambault, Marc de Visme, Glynn Winskel

Publication date 17 October 2019

Published in Reversible Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-21500-2_1

zbMATH Keywords

quantum computationconcurrent strategiessemantics for quantum programming

Mathematics Subject Classification ID

Applications of game theory (91A80) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Quantum computation (81P68) Other nonclassical models of computation (68Q09) Semantics in the theory of computing (68Q55)

Recommendations

• Distributed probabilistic and quantum strategies
• A quantum game semantics for the measurement calculus
• Quantum strategies
• Quantum games
• Game semantics for quantum data

Cites work

• An Extension Result for Continuous Valuations
• Applying quantitative semantics to higher-order quantum computing
• Categorical quantum mechanics
• Concurrent quantum strategies
• Dagger compact closed categories and completely positive maps (extended abstract)
• Distributed probabilistic and quantum strategies
• Event structure spans for nondeterministic dataflow
• Game semantics for quantum stores
• On a fully abstract model for a quantum linear functional language (extended abstract)
• Probabilistic and quantum event structures
• Quantum non-locality -- it ain't necessarily so\dots
• The Parallel Intensionally Fully Abstract Games Model of PCF
• The concurrent game semantics of probabilistic PCF
• The geometry of parallelism: classical, probabilistic, and quantum effects
• Towards a quantum programming language
• Traced monoidal categories

Cited in

(14)

• Game semantics for quantum stores
• Distributed probabilistic and quantum strategies
• scientific article; zbMATH DE number 6671801 (Why is no real title available?)
• Bayesian strategies: probabilistic programs as generalised graphical models
• Concurrent games over relational structures: the origin of game comonads
• Quantum and semi-quantum lottery: strategies and advantages
• Categorical composable cryptography: extended version
• Categorical composable cryptography
• The mays and musts of concurrent strategies
• Causal Unfoldings
• Quantum programming with inductive datatypes: causality and affine type theory
• Game semantics for quantum data
• A quantum game semantics for the measurement calculus
• Concurrent quantum strategies

Describes a project that uses

Uses Software

• QPL

This page was built for publication: Concurrent quantum strategies

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