×

关于量子和概率线性lambda-calculi(扩展摘要)。 (英语) Zbl 1347.68146号

Coecke,Bob(ed.)等人,《第五届量子物理和逻辑国际研讨会论文集》和第四届计算模型发展研讨会论文集(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记270,第1期,121-128(2011)。
摘要:我们给出了线性概率λ演算的一个完全模型。该模型是基于随机关系范畴的Kripke语义。我们简述了这与量子计算的关系。
关于整个系列,请参见[兹比尔1281.03004].

MSC公司:

2005年第68季度 计算模型(图灵机等)(MSC2010)
03B40型 组合逻辑与lambda演算
68问题55 计算理论中的语义学
81页68 量子计算

软件:

定量生产线
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 贝尔,J.S.,《论爱因斯坦-波多尔斯基-罗森佯谬》,物理学,1195-200(1964)
[2] Danos,V。;Harmer,R.S.,概率游戏语义,ACM计算逻辑事务,3359-382(2002)·Zbl 1365.68310号
[3] Jung,A。;Tiuryn,J.,《λ可定义性的新特征》(TLCA’93会议录)。TLCA’93会议录,计算机科学讲义,664(1993),245-257·Zbl 0795.03021号
[4] Selinger,P.,走向量子编程语言,计算机科学中的数学结构,14527-586(2004)·Zbl 1085.68014号
[5] Selinger,P.,《走向高阶量子计算的语义》(Selinger P.,QPL'04会议录)。QPL'04会议记录,TUCS一般出版物,第33号(2004),127-143
[6] 塞林格,P。;Valiron,B。;Selinger,P.,《关于量子线性函数语言的完全抽象模型(扩展抽象)》,《QPL'06学报》。2006年QPL会议录,理论计算机科学电子笔记,210,123-137(2008)·Zbl 1279.68046号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。