Sciweavers

ENTCS
2008
89views more  ENTCS 2008»
14 years 11 days ago
A Quantum Game Semantics for the Measurement Calculus
In this paper we present a game semantics for a quantum programming language based on a new definition of quantum strategies. The language studied is MCdata, a typed version of th...
Yannick Delbecque