Game Semantics for Quantum Stores

DOI10.1016/j.entcs.2008.10.010zbMath1286.81044OpenAlexW2039270220MaRDI QIDQ5415636

Prakash Panangaden, Yannick Delbecque

Publication date: 13 May 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.10.010

zbMATH Keywords

game semanticsquantum gamesquantum programing languages

Mathematics Subject Classification ID

Applications of game theory (91A80) Quantum computation (81P68) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items

Semantics of higher-order quantum computation via geometry of interaction ⋮ Unnamed Item ⋮ Game Semantics for Quantum Data ⋮ Concurrent Quantum Strategies

Uses Software

• QPL

Cites Work

• Semantics of weakening and contraction
• On a Fully Abstract Model for a Quantum Linear Functional Language
• Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels
• Towards a quantum programming language
• A lambda calculus for quantum computation with classical control
• Probabilistic game semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item