经典论文
量子伪代码约定
Knill 为 QRAM 模型下描述量子算法提出一组可复用的伪代码约定。
量子程序设计
Sanders 与 Zuliani 将守卫命令和概率程序方法用于量子程序语义。
迈向一种量子编程语言
Selinger 提出结合量子数据、经典控制、类型系统和超算子语义的 QPL 语言设计。
量子计算的 Lambda 演算
van Tonder 提出结合量子计算、线性 Lambda 演算和等式推理的量子演算模型。
量子协议的范畴语义
Abramsky 与 Coecke 用带双积的紧闭范畴为量子协议建立组合式语义。
一种函数式量子编程语言
Altenkirch 与 Grattage 提出 QML，用有限类型、线性逻辑和范畴语义表达可逆与不可逆量子计算。
带经典控制的量子计算 Lambda 演算
Selinger 与 Valiron 用带仿射线性类型的 Lambda 演算表达量子数据、经典控制和安全性。
通信量子进程
Gay 与 Nagarajan 提出 CQP，将 pi 演算式通信、量子操作、类型系统和唯一所有权结合起来。
量子最弱前置条件
D'Hondt 与 Panangaden 为量子计算建立谓词变换器和最弱前置条件语义。
命令式量子程序的推理
Chadha、Mateus 与 Sernadas 研究命令式量子程序的逻辑推理及其与概率程序方法的联系。