Quantum lambda calculus has been studied mainly as an idealized programming language -- the evaluation essentially corresponds to a deterministic abstract machine. Very little work has been done to develop a rewriting theory for quantum lambda calculus. Recent advances in the theory of probabilistic rewriting give us a way to tackle this task with tools unavailable a decade ago. Our primary focus is standardization and normalization results.

翻译：量子λ演算主要作为一种理想化的编程语言被研究——其求值过程本质上对应于一个确定性的抽象机器。为量子λ演算发展重写理论的工作非常少。概率重写理论的最新进展为我们提供了十年前无法获得的工具来处理这一任务。我们的主要关注点是标准化与正规化结果。