机构名称：
¥ 3.0
Selinger给出了一阶量子编程语言的超级操作模型，并证明它是完全定义的，因此完全抽象。本文提出了基于超级操作器上的模块，或等效地，超级程序将超级操作机模型扩展到高阶程序，或者在超级操作机构的类别上富含预期。可以很容易地证明富集的预肝类别是具有无与伦比的指数级的直觉线性逻辑的模型，从中可以通过一种双交结构来避免使用经典线性逻辑的模型。虽然富集的预毛类类别的结构通常相当复杂，但经典模型中的态度可以简单地表示为完全正面地图的矩阵。该模型从超级操作器模型继承了许多理想的属性。一个概念上有趣的属性是，我们的模型只有一个状态，其“总概率”由1界，即没有概率2 /3的真实和错误的状态。< / div>从超级操作器模型继承的另一个方便属性是휔cpo-indrichment。值得注意的是，我们的模型具有足够的结构，可以通过标准域理论技术来解释任意递归类型。我们介绍了带有递归类型的量子FPC，这是一种量子휆钙库，并证明我们的模型是量子FPC的完全抽象模型。
量子fpc
主要关键词
相关文件推荐
