一种函数量子编程语言

@文章{Grattage2004AFQ，title={函数量子编程语言}，author={乔纳森·格拉塔奇}，journal＝{第20届IEEE计算机科学逻辑年度研讨会（LICS’05）}，年份={2004}，页数={249-258}，网址={https://api语义scholar.org/语料库ID:8163270}}
  • J.格拉塔奇
  • 出版在里面第20届IEEE年会… 2004年9月11日
  • 计算机科学、物理学
  • 第20届IEEE计算机科学逻辑年会（LICS’05）
QML将可逆和不可逆量子计算集成在一种语言中，使用一阶严格线性逻辑使减弱显式，并保留叠加和纠缠，这对于量子并行至关重要。
[PDF]语义阅读器

本文中的数字

236引文

QML：量子数据和控制

这项工作提出了使用量子电路的QML程序的操作语义和使用超运算符的指称语义，并介绍了语言QML，一种用于有限类型量子计算的函数语言。

用量子数据和控制语言编译量子电路

定义了nQML的语义，该语义按照Altenkirch和Grattage的QML方法，将程序转换为有限量子计算FQC类别中的量子电路。

量子编程中通信的语义和仿真

CQPL具有基于超算子偏序的指称语义，并使用广义希尔伯特空间上的不动点来形式化任意数量参与者之间的经典和量子数据交换。

一种用于高级形式验证的量子编程语言

本文概述了QuantumOne的形式语法、操作语义和类型判断，QuantumOne是一种在Coq证明助手中形式化的量子编程语言，用于量子算法的形式验证。

经典控制下量子计算的lambda演算

一种用于量子计算机的函数编程语言，通过将简单型lambda演算扩展为量子类型和运算，并使用仿射直觉线性逻辑给出了一个类型系统。

多世界微积分：代表量子控制

一种用于量子计算的新型图形语言，基于具有双积的紧范畴，具有基于线性应用的指称语义和方程理论。

量子替代：前景与问题

这项工作在量子编程语言中提出了量子控制的概念，它允许在不进行测量的情况下叠加有限多个量子操作，并表明在QPL编程语言中添加这样的量子IF语句简化了几种量子算法的表示。

量子程序设计语言QML的可逆性

量子编程语言QML的外延语义模型的扩展，其中包含了计算可逆性，并包含了允许QML中可逆性的历史轨迹。

纯量子规划的代数

用量子控制为量子程序自动构造量子电路

我们发现，事实上，[qif]子句是一个量子多路复用器（QMUX），可以通过使用LIQUi|>的Z-Y旋转构造任意二维受控单元来实现。
...

86参考文献

走向量子编程语言

本文描述了一种简单的量子程序设计语言的语法和语义，该语言具有循环、递归过程和结构化数据类型等高级特性，并且在超运算符的完全偏序方面具有有趣的指称语义。

经典控制下量子计算的lambda演算

一种用于量子计算机的函数编程语言，通过用量子类型和运算扩展简单类型的lambda演算，并使用仿射直觉线性逻辑给出类型系统。

量子计算、范畴语义和线性逻辑

发展了一种类型理论和指称语义，并为基于线性逻辑的量子计算形式语言量子lambda演算的一个简单片段提供了类型理论和外延语义。

形式张量演算的操作语义

定义了一种函数语言，其中所有函数通过构造都是线性算子，由此构造的线性代数演算在与线性演算不同（但相关）的意义上是线性的。

纯量子规划的代数

量子力学的结构与解释：一个功能框架

通过有效地构造组合系统的张量态和量子电路工具箱的玩具模型，可以得出结论：函数语言是量子物理中进行形式计算的正确工具。

量子编程语言：调查和参考书目

对量子编程语言的研究进行了论证，介绍了量子计算的基本原理，综述了量子编程语言的文献，并指出了未来的研究方向。

构建量子效应：超算符如箭

基于密度矩阵和超算符的量子计算模型可以分解为纯经典（函数）部分和有效部分，用于建模概率和测量，并使用Haskell编程语言的特殊语法表示箭头计算。

程序量子编程

本文研究了如何将过程编程语言的概念引入量子计算领域，以及如何从语义上反映非经典特征，如幺正变换的可逆性、量子态的不可观测性或缺少复制和擦除操作。

用于量子计算的Lambda演算

量子lambda演算是作为量子计算的替代模型发展起来的，它结合了量子图灵机和量子电路模型的一些优点，并认为它等价于量子图灵机器。
...