原型Quipper-M swMATH ID: 44832 软件作者： 里奥斯，弗朗西斯科；彼得·塞林格 描述： 量子电路描述语言的范畴模型（扩展抽象）。Quipper是一种描述量子电路族的实用编程语言。在本文中，我们形式化了Quipper的一个小而有用的片段，称为Proto-Quipper-M。与其父Quipper不同，该语言是类型安全的，具有形式化的指称和操作语义。Proto-Quipper-M也比Quipper更通用，因为它可以描述任何对称单体范畴中的态射族，其中量子电路只是一个例子。我们从头开始设计Proto-Quipper-M，首先给出参数和状态参数和状态之间的区别也是从硬件描述语言中已知的。参数是在电路生成时已知的值，而状态是在电路执行时已知的。在模型中找到一些有趣的分类结构后，我们定义了适合该模型的编程语言。我们通过证明类型安全性、可靠性和充分性属性来巩固语言和模型之间的联系。 主页： https://arxiv.org/abs/2105.03522 源代码： https://github.com/andcol/proto-quipper-m 相关软件： 镊子;哈斯克尔 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 量子电路描述语言的分类模型（扩展抽象）。 Zbl 1486.81067号里奥斯，弗朗西斯科;彼得·塞林格 2018 4位作者引用 2 彼得·塞林格 1 傅鹏 1 Kohei的Kishida 1 里奥斯，弗朗西斯科·富兰克林·索萨 连载1篇 1 计算机科学中的逻辑方法 在4个字段中引用 2 范畴理论；同调代数（18-XX） 2 量子理论（81-XX） 1 数学逻辑和基础（03-XX） 1 计算机科学（68至XX） 按年份列出的引文