文件名称：用于量子计算的Lambda微积分-研究论文
文件大小：197KB
文件格式：PDF
更新时间：2024-06-08 10:51:01
Quantum Computing Lambda Calculus Programming
对于计算的推理，经典的lambda演算既可以被视为编程语言，又可以被视为形式代数系统。 它提供了等效于Turing机的计算模型，并且在经典计算理论中继续具有巨大的优势。 我们提出，与经典算法一样，量子计算可能会受益于适用于表达和推理量子算法的lambda演算版本。 在本文中，我们开发了量子λ演算作为量子计算的替代模型，该模型结合了量子图灵机和量子电路模型的某些优势。 演算证明与线性逻辑研究中使用的线性拉姆达结石密切相关。 我们为此演算建立了一个计算模型和一个方程证明系统，并认为它等同于量子图灵机。