文件大小：443 kB 16页
单叶型理论中的部分元素和优势递归
作者
-
部分： 体积： 第26届EACSL计算机科学逻辑年会（CSL 2017）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学逻辑（CSL） 许可证： 
Creative Commons Attribution 3.0未出口许可证 发布日期：2017-08-16
文件
文件标识符
引用为 获取BibTex
摘要
关键词
单价型理论 同伦型理论 部分函数 优势 递归理论 可计算性理论
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
安德烈·鲍尔。 综合可计算性理论的第一步。 理论计算机科学电子笔记，155:5-312006。 
-
安德烈·鲍尔和达沃林·勒什尼克。 合成拓扑中的度量空间。 《纯粹逻辑与应用逻辑年鉴》，163（2）：87-1002012。 形式拓扑第三次研讨会。 网址： http://dx.doi.org/10.1016/j.apal.2011.06.017 . -
安娜·博韦（Ana Bove）。 类型论中的一般递归，第39-58页。 施普林格，2003年。
-
Ana Bove和Venanzio Capretta。 类型理论中的嵌套一般递归和偏爱，第121-125页。 斯普林格，2001年。
-
Ana Bove和Venanzio Capretta。 部分递归函数的一种类型，第102-117页。 施普林格，柏林，海德堡，2008年。
-
道格拉斯·布里奇斯和弗雷德·里奇曼。 《构造数学的多样性》，伦敦数学学会系列讲座第97卷。 剑桥大学出版社，1987年。
-
维南西奥·卡普雷塔。 通过共导类型的一般递归。 计算机科学中的逻辑方法，15:1-282005。
-
詹姆斯·查普曼（James Chapman）、塔尔莫·乌斯塔鲁（Tarmo Uustalu）和尼科洛·维尔特里（NiccolóVeltri），《用弱双相似性对延迟单体进行商榷》，第110-125页。 施普林格，查姆，2015年。
-
Cyril Cohen、Thierry Coquand、Simon Huber和Anders Mörtberg。立方型理论：对单价公理的建设性解释。 arXiv，2016年11月。 网址： https://arxiv.org/abs/1611.02108 . -
蒂埃里·科夸德（Thierry Coquand）、巴斯尔·曼纳（Bassel Mannaa）和费边·鲁奇（Fabian Ruch）。 类型理论的堆栈语义。 arXiv，2017年。 网址： https://arxiv.org/abs/1701.02571 . -
J.Martin E.Hyland。 有效地形。 《逻辑与数学基础研究》，110:165-2161982年。
-
J.M.E.海兰德。 合成域理论的第一步，第131-156页。 施普林格，1991年。
-
S.克莱恩。 《元数学导论》，1952年。
-
N.Kraus、M.H.Escardó、T.Coquand和T.Altenkirch。 马丁·洛夫类型理论中的匿名存在概念。 《计算机科学中的逻辑方法》，2017年。
-
皮埃尔吉奥·奥迪弗雷迪（Piergiorgio Odifreddi）。 经典递归理论。 爱思唯尔，1989年。
-
B.再利用和Th.Streicher。 一般合成领域理论——逻辑方法（扩展摘要），第293-313页。 施普林格柏林海德堡，柏林，海德堡，1997年。 网址： http://dx.doi.org/10.1007/BFb0026995 . -
埃格伯特·里杰克。 同伦类型理论。 乌得勒支大学硕士论文，2012年。 网址： https://hottheory.files.wordpress.com/2012/08/hott2.pdf . -
埃格伯特·里杰克。 连接构造。 arXiv:1701.07538，2017年1月。 网址： https://arxiv.org/abs/1701.07538 . -
H.Rogers，Jr.递归函数和有效可计算性理论。 麻省理工学院出版社，1987年。
-
G.罗索里尼。 Topoi的连续性和有效性。 牛津大学博士论文，1986年。 网址： ftp://ftp.disi.unige.it/person/RosoliniG/papers/coneit.ps.gz . -
尼尔斯？安德斯？丹尼尔森？托尔斯滕？阿尔滕柯奇和尼古莱？克劳斯。 偏爱，重温：偏爱单子作为一种商归纳归纳类型。 FoSSaCS会议记录，2017年。
-
A.S.特洛伊斯特拉。 关于连续性和递归性的非外延运算的一个注记。 印度。 数学。， 39(5):455-462, 1977.
-
单价基金会项目。 同伦类型理论：单叶数学基础。 https://homotopytypetheory.org/book 高级研究所，2013年。 -
雅普·范·奥斯汀和亚历克斯·K·辛普森。 合成域理论中的公理和（反例）示例。 纯粹逻辑与应用逻辑年鉴，104（1）：233-2782000。 网址： http://dx.doi.org/10.1016/S0168-0072 (00)00014-2 . -
V.沃沃德斯基。 调整大小规则。 2011年9月，受邀在卑尔根Types’2011上发表演讲。 网址： http://www.math.ias.edu/vladimir/files/2011_Bergen.pdf .