量子程序设计语言Arrow Calculus
The Arrow Calculus as a Quantum Programming Language
摘要：
我们表示量子计算（测量）使用箭头演算扩展与一元结构。这个框架表达了量子编程，在存在计算效应的情况下，使用人们熟知的经典编程模式进行编程。此外，箭演算的五个定律为包含测量的量子计算的等式推理提供了一个方便的框架。
英文摘要：
We express quantum computations (with measurements) using the arrow calculus extended with monadic constructions. This framework expresses quantum programming using well-understood and familiar classical patterns for programming in the presence of computational effects. In addition, the five laws of the arrow calculus provide a convenient framework for equational reasoning about quantum computations that include measurements.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
