Game semantics for quantum data

DOI10.1016/J.ENTCS.2011.01.005MaRDI QIDQ2825342zbMATH OpenOpenAlexWikidataFDO

Authors Yannick Delbecque

Publication date 7 October 2016

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.2011.01.005

zbMATH Keywords

game semanticsquantum gamesquantum programing languages

Mathematics Subject Classification ID

Quantum computation (81P68) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Game semantics for quantum stores
• A quantum game semantics for the measurement calculus
• A lambda calculus for quantum computation with classical control
• Concurrent quantum strategies
• Applying quantitative semantics to higher-order quantum computing

Cites work

• scientific article; zbMATH DE number 3128586 (Why is no real title available?)
• scientific article; zbMATH DE number 872244 (Why is no real title available?)
• A lambda calculus for quantum computation with classical control
• Dagger compact closed categories and completely positive maps (extended abstract)
• Game semantics for quantum stores
• On a fully abstract model for a quantum linear functional language (extended abstract)
• Probabilistic game semantics
• Semantics of weakening and contraction

Cited in

(5)

• Game semantics for quantum stores
• A quantum game semantics for the measurement calculus
• Concurrent quantum strategies
• On quantum lambda calculi: a foundational perspective
• Wave-style token machines and quantum lambda calculi

Describes a project that uses

Uses Software

• QPL

This page was built for publication: Game semantics for quantum data

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