A Quantum Game Semantics for the Measurement Calculus

DOI10.1016/j.entcs.2008.04.016zbMath1279.68033OpenAlexW1974947566MaRDI QIDQ2870204

Yannick Delbecque

Publication date: 17 January 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.04.016

zbMATH Keywords

game semanticsquantum gamesquantum programming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Quantum measurement theory, state operations, state preparations (81P15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Uses Software

• QPL

Cites Work

• Quantum strategies
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• A Lambda Calculus for Quantum Computation
• Towards a quantum programming language
• Functional and Logic Programming
• Typed Lambda Calculi and Applications
• Unnamed Item