%0 Journal Article %1 journals/pacmpl/BartheHYYZ20 %A Barthe, Gilles %A Hsu, Justin %A Ying, Mingsheng %A Yu, Nengkun %A Zhou, Li %D 2020 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 21:1-21:29 %T Relational proofs for quantum programs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#BartheHYYZ20 %V 4

@article{journals/pacmpl/BartheHYYZ20, added-at = {2023-08-28T00:00:00.000+0200}, author = {Barthe, Gilles and Hsu, Justin and Ying, Mingsheng and Yu, Nengkun and Zhou, Li}, biburl = {https://www.bibsonomy.org/bibtex/25caf3aeddeb5b0cc089a8f7631e729c3/dblp}, ee = {https://www.wikidata.org/entity/Q114613992}, interhash = {0a18393e64f076486cddc64778f96561}, intrahash = {5caf3aeddeb5b0cc089a8f7631e729c3}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {21:1-21:29}, timestamp = {2024-04-08T09:54:53.000+0200}, title = {Relational proofs for quantum programs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#BartheHYYZ20}, volume = 4, year = 2020 }