×

单面体计算机。一: 字符串图的基本可计算性。 (英语) Zbl 1317.68054号

摘要:我们提出了一种新的计算模型,用单体范畴来描述。它符合Church Turing命题,并捕获了与标准模型相同的可计算函数。它使用了同时从计算和编程语义研究中产生的思想和结构,为大多数人提供了一个简洁的分类接口,而不必考虑其不同的实现细节。单体范畴语言的显著特点是,它由一个健全完整的图形形式主义字符串图支持,字符串图为计算的抽象推理提供了一个具体直观的界面。这项工作的最初动机和最终目标是通过采用隐藏实践中出现的低级实现细节的方法,为计算资源理论(如单向函数和陷门函数)提供一种方便的高级编程语言。

MSC公司:

2005年第68季度 计算模型(图灵机等)(MSC2010)
18日第10天 单线、对称单线和编织线类别(MSC2010)

软件:

EasyCrypt公司
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] 萨姆森·艾布拉姆斯基;Heunen,Chris,\(H^\ast\)-代数和非酉Frobenius代数:无限维范畴量子力学的第一步,应用数学研讨会论文集,71,1-25(2012)·Zbl 1267.18007号
[2] 萨姆森·艾布拉姆斯基;Jung,Achim,领域理论,(Abramsky,Samson等,《计算机科学逻辑手册》,第3卷(1994),牛津大学出版社),1-168
[3] 巴伦德雷格特,H.P.,《兰姆达演算:语法和语义》,《逻辑和数学基础研究》,第103卷(1984年),北荷兰·Zbl 0551.03007号
[4] 巴纳姆,H。;巴雷特,J。;Leifer,M。;Wilce,A.,《一般概率理论中的隐形传态》,《应用数学研讨会论文集》,第71期,第25-48页(2012年)·Zbl 1258.81011号
[5] 吉尔·巴特;本杰明·格雷戈里;Sylvain Heraud;圣地亚哥Zanella Béguelin,《为工作密码学家提供的计算机辅助安全证明》,(密码学进展-密码2011)。密码学进展-密码学2011,计算机科学讲义,第6841卷(2011),施普林格),71-90·Zbl 1287.94048号
[6] 伯恩斯坦,E。;Vazirani,U.,量子复杂性理论,(第二十五届ACM计算理论研讨会论文集(1993),ACM),11-20·Zbl 1310.68080号
[7] 奥雷里奥·卡博尼;Walters,Robert F.C.,Cartesian bicategories,I,《纯粹与应用代数杂志》,49,11-32(1987)·Zbl 0637.18003号
[8] 鲍勃·科克(Bob Coecke),《量子图形学》(Quantum picturalism),《当代物理学》(Contemporary Physics),第51期,第59-83页(2009年)
[9] 鲍勃·科克(Bob Coecke);Ross Duncan,《相互作用量子观测量:范畴代数和图解学》,《新物理杂志》,第13期,第4期(2011年),第85页·Zbl 1155.81316号
[10] 鲍勃·科克(Bob Coecke);Edwards,William,《玩具量子类别》(Coecke,Bob;Panangaden,Prakash,《2008年QPL-DCM研讨会论文集》(2008),Springer-Verlag),25-35·Zbl 1348.81049号
[11] 鲍勃·科克(Bob Coecke);埃里克·奥利弗·帕奎特;巴甫洛维奇,杜斯科,经典和量子结构主义,(盖伊,西蒙;麦基,伊恩,量子计算中的语义技术(2009),剑桥大学出版社),29-69·Zbl 1192.81016号
[12] 科克,B。;Pavlovic,D.,《无总和的量子测量》(Chen,G.;Kauffman,L.;Lamonaco,S.,《量子计算与技术数学》(2007),Taylor和Francis)·Zbl 1139.81307号
[14] Deutsch,D.,《量子理论、丘吉尔原理和通用量子计算机》,伦敦皇家学会会刊。A.数学和物理科学系列,400,1818,97-117(1985)·Zbl 0900.81019号
[15] Fox,Thomas,《代数中的通信》,第4、7、665-667页(1976年)·Zbl 0338.18005号
[16] Gerhard Gierz;卡尔·海因里希·霍夫曼(Karl Heinrich Hofmann);凯梅尔,克劳斯;吉米·D·劳森。;Mislove,Michael W.,《连续格简编》(1980),剑桥大学出版社·兹比尔0452.06001
[17] Goldreich,Oded,《密码学基础——第1卷:基本技术》(2001),剑桥大学出版社·Zbl 1007.94016号
[19] 安德烈·乔亚尔;罗斯·斯特尔,《张量微积分的几何I》,《数学进展》,88,55-113(1991)·Zbl 0738.18005号
[20] Kelly,Gregory M.,《丰富范畴理论的基本概念》(1982年),剑桥大学出版社·Zbl 0478.18005号
[21] 格雷戈里·凯利(Gregory M.Kelly)。;Laplaza,Miguel L.,紧闭范畴的相干性,《纯粹与应用代数杂志》,193-213(1980)·Zbl 0447.18005号
[22] Krivine、Jean-Louis、Lambda-Calculus、类型和模型、Ellis-Horwood计算机及其应用系列(1993)、Masson·Zbl 0697.03004号
[23] Lambek,J。;Scott,P.J.,《高阶范畴逻辑导论》(1986),剑桥大学出版社·Zbl 0596.0302号
[24] 莱昂尼德·莱文(Leonid A.Levin),《单向函数的故事》(2000)
[25] 李明;维坦伊,保罗·M.B.,《科尔莫戈洛夫复杂性及其应用导论》,计算机科学研究生文集(1997),斯普林格·Zbl 0866.68051号
[26] 麦克·莱恩(Mac Lane),桑德斯(Saunders),《工作数学家分类》,《数学研究生教材》,第5卷(1971年),斯普林格·弗拉格(Springer-Verlag)·Zbl 0232.18001号
[27] Moschovakis,Yiannis N.,Kleene惊人的第二递归定理,符号逻辑公报,16,2,189-239(2010)·Zbl 1211.03061号
[28] 迈克尔·尼尔森(Michael A.Nielsen)。;Chuang,Isaac L.,《量子计算与量子信息》(2000),剑桥大学出版社·Zbl 1049.81015号
[29] R·帕雷。;Román,L.,带自然数对象的单体范畴,Studia Logica,48,3,361-376(1989)·Zbl 0708.18005号
[30] 巴甫洛维奇,杜斯科,动作演算中名称和抽象的分类逻辑,计算机科学中的数学结构,7619-637(1997)·Zbl 0893.03028号
[31] Pavlovic,Dusko,《非确定性计算中的量子和经典结构》,(Bruza,Peter;Sofge,Don;van Rijsbergen,Keith,《量子相互作用学报》,2009年。2009年《量子相互作用学报》,《人工智能讲义》,第5494卷(2009年),斯普林格-Verlag),143-158·Zbl 1229.68039号
[32] 达斯科·巴夫洛维奇(Dasko Pavlovic),《默默无闻的游戏安全》(Gates,Carrie;Hearley,Cormac),《2011年美国国家体育新闻》(2011),美国国家体育协会:美国纽约州纽约市ACM),125-140
[33] Pavlovic,Dusko,《量子计算的相关玩具模型:理解、互补和匕首自主范畴》,《理论计算机科学中的电子笔记》,270,2,121-139(2011)·Zbl 1348.81174号
[34] Pavlovic,Dusko,量子计算中的抽象几何,应用数学研讨会论文集,71233-267(2012)·Zbl 1258.81022号
[35] 罗杰·彭罗斯(Roger Penrose),《时空结构》(DeWitt,C.M.;Wheeler,J.A.,Batelle Rencontres),《Batelle-Rencontres》,1967(1968),本杰明(Benjamin)·Zbl 0174.55901号
[36] Redei,M.,《为什么约翰·冯·诺依曼不喜欢量子力学的希尔伯特空间形式主义(以及他喜欢的东西)》,《科学史与哲学研究》第二部分:现代物理学的历史与哲学研究,第27、4、493-510页(1996年12月)
[37] 罗杰斯,哈特利,《递归函数和有效可计算性理论》(1987),麻省理工学院出版社:麻省理学院出版社,马萨诸塞州剑桥,美国
[38] Spekkens,Robert W.,为量子态的认识论辩护:玩具理论,《物理评论a》,75032110(2007)
[39] Street,R.,Frobenius monad和伪幺半群,《数学物理杂志》,45,3930(2004)·Zbl 1071.18006号
[40] Zvonkin,A.K。;莱文,L.A.,《有限对象的复杂性以及信息和随机性的算法概念》,《俄罗斯数学调查》,25,6,83-124(1970)·兹比尔0222.02027
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。