贝诺缬氨酸 关于量子和概率线性lambda-calculi(扩展摘要)。 (英语) Zbl 1347.68146号 Coecke,Bob(ed.)等人,《第五届量子物理和逻辑国际研讨会论文集》和第四届计算模型发展研讨会论文集(QPL/DCM 2008),冰岛雷克雅未克,2008年7月12-13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记270,第1期,121-128(2011)。 摘要:我们给出了线性概率λ演算的一个完全模型。该模型是基于随机关系范畴的Kripke语义。我们简述了这与量子计算的关系。关于整个系列,请参见[兹比尔1281.03004]. 引用于1文件 MSC公司: 2005年第68季度 计算模型(图灵机等)(MSC2010) 03B40型 组合逻辑与lambda演算 68问题55 计算理论中的语义学 81页68 量子计算 关键词:概率计算;量子计算;贝尔不等式;线性λ-微积分;克里普克语义学;完全正映射;多形的 软件:定量生产线 PDF格式BibTeX公司 XML格式引用 \textit{B.Valiron},电子。注释Theor。计算。科学。270,第1号,121--128(2011;Zbl 1347.68146) 全文: 内政部 参考文献: [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的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。