Concurrent Quantum Strategies

DOI10.1007/978-3-030-21500-2_1zbMath1480.68009OpenAlexW2949744023MaRDI QIDQ5237210

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) Semantics in the theory of computing (68Q55) Other nonclassical models of computation (68Q09)

Related Items

Categorical composable cryptography: extended version ⋮ Categorical composable cryptography ⋮ Quantum programming with inductive datatypes: causality and affine type theory ⋮ Bayesian strategies: probabilistic programs as generalised graphical models ⋮ Causal Unfoldings ⋮ Concurrent Quantum Strategies

Uses Software

• QPL

Cites Work

• Distributed probabilistic and quantum strategies
• Categorical quantum mechanics
• Dagger Compact Closed Categories and Completely Positive Maps
• Event Structure Spans for Nondeterministic Dataflow
• On a Fully Abstract Model for a Quantum Linear Functional Language
• Quantum non-locality—it ainʼt necessarily so...
• An Extension Result for Continuous Valuations
• The Parallel Intensionally Fully Abstract Games Model of PCF
• Towards a quantum programming language
• Traced monoidal categories
• The concurrent game semantics of Probabilistic PCF
• Concurrent Quantum Strategies
• The geometry of parallelism: classical, probabilistic, and quantum effects
• Applying quantitative semantics to higher-order quantum computing
• Game Semantics for Quantum Stores
• Probabilistic and Quantum Event Structures