Game Semantics for Quantum Data

DOI10.1016/j.entcs.2011.01.005zbMath1347.68212OpenAlexW2092554941WikidataQ113318330 ScholiaQ113318330MaRDI QIDQ2825342

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)

Related Items

On quantum lambda calculi: a foundational perspective, Unnamed Item

Uses Software

• QPL

Cites Work

• Unnamed Item
• Unnamed Item
• Semantics of weakening and contraction
• Dagger Compact Closed Categories and Completely Positive Maps
• On a Fully Abstract Model for a Quantum Linear Functional Language
• Game Semantics for Quantum Stores
• A lambda calculus for quantum computation with classical control
• Probabilistic game semantics