文件大小：484 kB 15页
研究无流集合
作者
-
部分： 音量： 第20届国际证明类型和程序会议（Types 2014）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 国际证据和程序类型会议（Types） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2015-10-12
文件
文件标识符
引用为 获取BibTex
摘要
关键词
类型理论 建构逻辑 有限集合
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
迈克尔·比森。 古德曼定理及其他。 太平洋数学杂志，84（1）：1-161979。 
-
M.Bezem、K.Nakata和T.Uustalu。 《在有限红色的流上》，《计算机科学中的逻辑方法》，2011年。 网址： 网址：http://www.cs.ioc.ee/ ~keiko/papers/finitenes.pdf . -
Coq开发团队。 Coq参考手册，8.4版，2012年8月。 电子版，网址： http://coq.inia.fr/doc . -
蒂埃里·科昆和阿诺·斯皮瓦克。 结构有限？ 在《科特利布西奥内斯·科菲卡斯纪念米里安·安德烈斯·戈麦斯》中，第217-230页。 拉里奥哈大学，2010年。
-
根据Martin-Löf。 直觉主义类型理论：表语部分。 编辑H.E.Rose和J.C.Shepherdson，《1973年逻辑学术讨论会论文集》，《逻辑和数学基础研究》第80卷，第73-118页。 北荷兰，1975年。
-
Per Martin-Löf和Giovanni Sambin，直觉主义类型理论，第17卷。 那不勒斯图书馆，1984年。
-
F.P.拉姆齐。 关于形式逻辑问题。 《伦敦数学学会学报》，2（1）：264-2861930年。
-
F.Richman和G.Stolzenberg。好拟序集。 数学进展，97（2）：145-1531993。
-
安妮·斯杰普·特罗尔斯特拉（Anne Sjerp Troelstra）和德克·范·戴伦（Dirk Van Dalen）。 数学建构主义，第2卷。 Elsevier，1988年。
-
单价基金会项目。 同伦类型理论：单叶数学基础。 http://homotopypetheory.org/book 高级研究所，2013年。 -
维姆·维尔德曼和马克·贝泽姆。 拉姆齐定理和直觉数学中的鸽子洞原理。 伦敦数学学会杂志，2（2）：193-211993。
-
Dimitrios Vytiniotis、Thierry Coquand和David Wahlstedt。 当你几乎吃饱了就停下来。 在交互式定理证明中，第250-265页。 施普林格，2012年。