Game semantics for quantum data

DOI10.1016/J.ENTCS.2011.01.005zbMATH Open1347.68212OpenAlexW2092554941WikidataQ113318330 ScholiaQ113318330MaRDI QIDQ2825342FDOQ2825342

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

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

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)

Cites Work

• Title not available (Why is that?)
• Dagger compact closed categories and completely positive maps (extended abstract)
• Title not available (Why is that?)
• A lambda calculus for quantum computation with classical control
• On a fully abstract model for a quantum linear functional language (extended abstract)
• Game semantics for quantum stores
• Probabilistic game semantics
• Semantics of weakening and contraction

Cited In (5)

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

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)