{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T04:56:42Z","timestamp":1784350602437,"version":"3.55.0"},"reference-count":40,"publisher":"Association for Computing Machinery (ACM)","issue":"POPL","license":[{"start":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T00:00:00Z","timestamp":1641945600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/R044759\/1"],"award-info":[{"award-number":["EP\/R044759\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Independent Research Fund Denmark","award":["0131-00025B"],"award-info":[{"award-number":["0131-00025B"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2022,1,16]]},"abstract":"<jats:p>We study the two dual quantum information effects to manipulate the amount of information in quantum computation: hiding and allocation. The resulting type-and-effect system is fully expressive for irreversible quantum computing, including measurement. We provide universal categorical constructions that semantically interpret this arrow metalanguage with choice, starting with any rig groupoid interpreting the reversible base language. Several properties of quantum measurement follow in general, and we translate (noniterative) quantum flow charts into our language. The semantic constructions turn the category of unitaries between Hilbert spaces into the category of completely positive trace-preserving maps, and they turn the category of bijections between finite sets into the category of functions with chosen garbage. Thus they capture the fundamental theorems of classical and quantum reversible computing of Toffoli and Stinespring.<\/jats:p>","DOI":"10.1145\/3498663","type":"journal-article","created":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T17:03:12Z","timestamp":1642006992000},"page":"1-27","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Quantum information effects"],"prefix":"10.1145","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7393-2640","authenticated-orcid":false,"given":"Chris","family":"Heunen","sequence":"first","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7672-799X","authenticated-orcid":false,"given":"Robin","family":"Kaarsgaard","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,1,12]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139193313.006"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.176.0525"},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386007"},{"key":"e_1_2_2_4_1","unstructured":"W. J. Bowman R. P. James and A. Sabry. 2011. Dagger Traced Symmetric Monoidal Categories and Reversible Programming. Work-in-progress report presented at the 3rd International Workshop on Reversible Computation.  W. J. Bowman R. P. James and A. Sabry. 2011. Dagger Traced Symmetric Monoidal Categories and Reversible Programming. Work-in-progress report presented at the 3rd International Workshop on Reversible Computation."},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_6"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-52482-1_10"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434290"},{"key":"e_1_2_2_8_1","unstructured":"K. Cho and A. Westerbaan. 2016. Von Neumann Algebras Form a Model for the Quantum Lambda Calculus. arxiv:1603.02133.  K. Cho and A. Westerbaan. 2016. Von Neumann Algebras Form a Model for the Quantum Lambda Calculus. arxiv:1603.02133."},{"key":"e_1_2_2_9_1","unstructured":"G. S. H. Cruttwell B. Gavranovi\u0107 N. Ghani P. Wilson and F. Zanasi. 2021. Categorical Foundations of Gradient-Based Learning. arxiv:2103.01931.  G. S. H. Cruttwell B. Gavranovi\u0107 N. Ghani P. Wilson and F. Zanasi. 2021. Categorical Foundations of Gradient-Based Learning. arxiv:2103.01931."},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785665"},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.04.018"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-47018-2_2"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.01.001"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.343.5"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/oso\/9780198739623.001.0001"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546382_2"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.287.12"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785700"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007308"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103667"},{"key":"e_1_2_2_23_1","volume-title":"Theseus: A High Level Language for Reversible Computing.","author":"James R. P.","year":"2014","unstructured":"R. P. James and A. Sabry . 2014 . Theseus: A High Level Language for Reversible Computing. R. P. James and A. Sabry. 2014. Theseus: A High Level Language for Reversible Computing."},{"key":"e_1_2_2_24_1","unstructured":"N. D. Jones C. K. Gomard and P. Sestoft. 1993. Partial Evaluation and Automatic Program Generation. Prentice Hall International.  N. D. Jones C. K. Gomard and P. Sestoft. 1993. Partial Evaluation and Automatic Program Generation. Prentice Hall International."},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-33636-3_13"},{"key":"e_1_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0063106"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.53.0183"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0059555"},{"key":"e_1_2_2_29_1","volume-title":"Basic Category Theory","author":"Leinster T.","unstructured":"T. Leinster . 2016. Basic Category Theory . Cambridge University Press . T. Leinster. 2016. Basic Category Theory. Cambridge University Press."},{"key":"e_1_2_2_30_1","doi-asserted-by":"crossref","unstructured":"M. A. Nielsen and I. Chuang. 2002. Quantum Computation and Quantum Information. American Association of Physics Teachers.  M. A. Nielsen and I. Chuang. 2002. Quantum Computation and Quantum Information. American Association of Physics Teachers.","DOI":"10.1119\/1.1463744"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009894"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45231-5_29"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129597002375"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-16(1:30)2020"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89366-2_19"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129504004256"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10003-2_104"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129506005287"},{"key":"e_1_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02261-6_30"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.236.14"},{"key":"e_1_2_2_41_1","doi-asserted-by":"crossref","unstructured":"N. Yanofsky and M. A. Mannucci. 2008. Quantum Computing for Computer Scientists. Cambridge University Press.  N. Yanofsky and M. A. Mannucci. 2008. Quantum Computing for Computer Scientists. Cambridge University Press.","DOI":"10.1017\/CBO9780511813887"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3498663","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3498663","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:30:27Z","timestamp":1750188627000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3498663"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,1,12]]},"references-count":40,"journal-issue":{"issue":"POPL","published-print":{"date-parts":[[2022,1,16]]}},"alternative-id":["10.1145\/3498663"],"URL":"https:\/\/doi.org\/10.1145\/3498663","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,1,12]]},"assertion":[{"value":"2022-01-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}