Sciweavers

ENTCS
2008
86views more  ENTCS 2008»
13 years 4 months ago
Game Semantics for Quantum Stores
This paper presents a game semantics for a simply-typed -calculus equipped with quantum stores. The quantum stores are equipped with quantum operations as commands which give the ...
Yannick Delbecque, Prakash Panangaden