Yannick Delbecque, Prakash Panangaden. Game Semantics for Quantum Stores. Electronic Notes in Theoretical Computer Science, 218:153-170, 2008. [doi]
@article{DelbecqueP08,
title = {Game Semantics for Quantum Stores},
author = {Yannick Delbecque and Prakash Panangaden},
year = {2008},
doi = {10.1016/j.entcs.2008.10.010},
url = {http://dx.doi.org/10.1016/j.entcs.2008.10.010},
tags = {semantics},
researchr = {https://researchr.org/publication/DelbecqueP08},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {218},
pages = {153-170},
}