A quantum game semantics for the measurement calculus

DOI10.1016/J.ENTCS.2008.04.016zbMATH Open1279.68033OpenAlexW1974947566MaRDI QIDQ2870204FDOQ2870204

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

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

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)

Cites Work

• Quantum strategies
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• Towards a quantum programming language
• Title not available (Why is that?)
• A Lambda Calculus for Quantum Computation
• Functional and Logic Programming
• Typed Lambda Calculi and Applications

Cited In (4)

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

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)