{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,5,28]]，“日期-时间”：“2024-05-28T09:57:06Z”，“时间戳”：1716890226451}，“参考-计数”：0，“出版商”：“计算机协会（ACM）”，“发行商”：”POPL“资助者”：[{“名称”：“NSERC”，“奖项”：[“RGPIN-2018-05]812“]}，{”名称“：“美国国家科学基金会”，“奖项”：[“OMA-1936353”]}]，“内容域”：{“域”：[”dl.acm.org“]，“crossmark-restriction”：true}，“short-container-title”：[（Proc.acm Program.Lang.）“]，”published-print“：{”date-parts“：[2024,1,5]}，”abstract“：”Rig群胚提供了\u03a0的语义模型，这是一种通用的经典有限类型可逆编程语言。我们证明了仅用两个映射和关于它们的三个方程来扩展rig群胚，就可以得到一个在计算上通用、在等式上健全且对各种门集完备的量子计算模型。第一个映射对应于单位1上同一态射的第八根。第二个映射对应于1+1上对称的平方根。由于平方根通常不是唯一的，有时甚至可能是微不足道的，因此映射被约束为满足非退化公理，这与Hadamard门的Euler分解有关。语义结构被转换为\u03a0的扩展，称为\u221a\u03a，这是一种计算通用的量子编程语言，配备了一个与Clifford门集（Clifford+T的标准门集，限制为\u26642量子比特）相关的健全和完整的方程理论，和计算通用高斯Clifford+T门集<\/jats:p>“，”DOI“：”10.1145\/3632861“，”type“：”journal-article“，”created“：{”date-parts“：[[2024,1,5]]，”date-time“：”2024-01-05T20:48:51Z“，”timestamp“：1704487731000}，”page“：3，“标题”：[“有了几个平方根，量子计算就像Pi一样简单“]，”前缀“：”10.1145“，”卷“：”8“，”作者“：[{”ORCID“：”http://\/ORCID.org\/00000-0001-8993-9804“，”authenticated-ORCID“：false，”给定“：”Jacques“，”family“：”Carette“，”sequence“：”first“，”affiliation“：[}”name“：”McMaster University，Hamilton，Canada“}]}，”{“ORCID”：“”http:\/\/orcid.org\/00000-0001-7393-2640“，”authenticated-orcid“：false，”given“：”Chris“，”family“：”Heunen“，”sequence“：”additional“，”affiliation“：[{”name“：”University of Edinburgh，Edinbugh，United Kingdom“}]}，{”orcid“：“http://\/orcid=org\/0000-0002-7672-799X”，”authoritated-orgid“：”false，“given”：“Robin”，“family”：“Kaarsgaard”，“sequence”：“additional”“，”affiliation“：[{”name“：”丹麦欧登塞南丹麦大学“}]}，{”ORCID“：”http://\/ORCID.org\/0000-0002-1025-7331“，”authenticated-ORCID“：false，”given“：“Amr”，”family“：”Sabry“，”sequence“：”additional“，”affiliance“：[[{“name”：“Indiana University，Bloomington，USA”}]}]，”member“：”320“，”published-on-line“：{”date-parts“：[2024,1,5]]}，“容器标题“：[”美国计算机学会程序设计语言会议记录“]，“原标题”：[]，“语言”：“en”，“链接”：[｛”URL“：”https:\/\/dl.ACM.org/doi\/pdf\/10.1145\/3362861“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用程序“：”相似性检查“｝]，”存放“：｛”日期部分“：[[2024,1,29]，”日期时间“：”2024-01-29T15:06:47Z“，”timestamp“：1706540807000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/dl.acm.org\/doi\/10.1145\/3632861“}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2024,1,5]}]}}，“alternative-id”：[“10.1145\/3632861”]，“URL”：“http:\/\/dx.doi.org\/10.1145\/3632861“，”关系“：{}，”ISSN“：[”2475-1421“]，”ISSN-type“：[{”值“：”2475-121“，”类型“：”电子“}]，”主题“：[]，”发布“：{”日期部分“：[2024,1,5]]}，“断言”：[{”价值“：”2024-01-05“，”订单“：2，”名称“：”发布“，”标签“：”已发布“，“组”：{“name”：“publication_history”，“label”：“publication history”}}]}}