软件搜索-zbMATH Open

质量管理清单

swMATH ID:	46093
软件作者：	托尔斯滕·阿滕柯奇；乔纳森·格拉塔奇
描述：	一种功能量子编程语言。我们介绍了QML语言，这是一种用于有限类型量子计算的函数语言。它的设计以其范畴语义为指导：QML程序由有限量子计算的FQC类别中的态射来解释，它提供了可作为量子门实现的不可逆量子计算的构造语义。QML在一种语言中集成了可逆和不可逆量子计算，使用一阶严格线性逻辑来明确减弱。严格的程序不受退相干的影响，因此保留了叠加和纠缠，这对量子并行性至关重要
主页：	https://arxiv.org/abs/quant-ph/0409065
依赖项：	哈斯克尔
关键词：	量子物理学;arXiv_quant-ph;质量管理清单
相关软件：	QPL公司;镊子;qGCL公司;哈斯克尔;佩斯卡;github;ScaffCC公司;森林;阿尔姆斯;QPMC公司;液体;验证器;洛利;阿贝拉;Twelf公司;白鲸;混合的;Coq公司;qPCF（质量PCF）;cQASM公司
引用于：	32份文件

8	迪亚斯·卡罗，亚历杭德罗
三	Gilles Dowek
三	乔纳森·格拉塔奇
三	奥克塔维奥·马勒贝
三	英明生
2	托尔斯滕·阿滕柯奇
2	冯、袁
2	阿穆尔·萨布里
2	朱利安娜·凯泽·维佐托
1	艾米、马修
1	巴勃罗·阿里吉
1	科斯汀·伯德斯库
1	达罗查·科斯塔（da Rocha Costa）、安东尼奥·卡洛斯（António Carlos）
1	艾米·费尔蒂（Amy P.Felty）。
1	曼纽尔·加德拉
1	吉勒拉克，罗马人
1	基里亚科斯·吉尼斯（Kyriakos G.Ginis）。
1	Green，Alexander S。
1	Chris Heunen，克里斯
1	巴特·雅各布斯
1	马尔蒂·卡尔沃宁
1	迈克尔·兰皮斯
1	伊万·拉内斯
1	李三江
1	李，杨佳
1	穆罕默德·尤斯里·马哈茂德
1	松田和川
1	克劳迪奥·安塔雷斯·梅齐纳
1	帕南加登，普拉卡什
1	卢卡·保里尼
1	Michalis A.Papakyriakou。
1	尼古拉斯·帕帕斯普鲁。
1	西蒙·佩德里克斯
1	伊恩·菲利普斯。
1	毛罗·皮科洛
1	马雷克·索尔文
1	宋方敏
1	Jean-Bernard斯特凡尼
1	伊雷克·乌利多夫斯基
1	贝诺缬氨酸
1	萨尔瓦多Elías Venegas Andraca
1	徐家福
1	于能坤
1	玛格丽塔·佐齐
1	保罗·祖利亚尼