A quantum game semantics for the measurement calculus

DOI10.1016/J.ENTCS.2008.04.016MaRDI QIDQ2870204zbMATH OpenOpenAlexFDO

Authors 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) Quantum measurement theory, state operations, state preparations (81P15) Semantics in the theory of computing (68Q55) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)

Recommendations

• Game semantics for quantum data
• Game semantics for quantum stores
• Concurrent quantum strategies
• Towards a quantum calculus (work in progress, extended abstract)
• Semantics of higher-order quantum computation via geometry of interaction

Cites work

• scientific article; zbMATH DE number 872244 (Why is no real title available?)
• A Lambda Calculus for Quantum Computation
• Full abstraction for PCF
• Functional and Logic Programming
• On full abstraction for PCF: I, II and III
• Quantum strategies
• Towards a quantum programming language
• Typed Lambda Calculi and Applications

Cited in

(4)

• Game semantics for quantum stores
• Game semantics for quantum data
• Quantum mean-field games with the observations of counting type
• Concurrent quantum strategies

Describes a project that uses

Uses Software

• QPL

This page was built for publication: A quantum game semantics for the measurement calculus

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