Pierre Clairambault, Marc de Visme, Glynn Winskel
Game semantics for quantum programming
POPL, 2019.
@article{POPL-2019-ClairambaultVW, author = "Pierre Clairambault and Marc de Visme and Glynn Winskel", doi = "10.1145/3290345", journal = "{Proceedings of the ACM on Programming Languages}", number = "POPL", pages = "29", publisher = "{ACM}", title = "{Game semantics for quantum programming}", volume = 3, year = 2019, }