丹尼尔·李卡塔(Daniel R.Licata)。;纪尧姆·布鲁内利 \同伦类型理论中的(π{n}(S^{n}))。 (英语) Zbl 1427.03033号 Gonthier,Georges(编辑)等人,《认证程序和证明》。第三届国际会议,2013年CPP,澳大利亚维多利亚州墨尔本,2013年12月11-13日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8307, 1-16 (2013).MSC公司:03立方厘米38 03G30型 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Licata}和\textit{G.Brunerie},Lect。注释计算。科学。8307,1--16(2013年;Zbl 1427.03033) 全文: 内政部
单价基金项目 [彼得·阿策尔;阿伦斯,贝内迪克特;托尔斯滕·阿滕柯奇;史蒂夫·阿沃迪;布鲁诺·巴拉斯;安德烈·鲍尔;伊夫·贝托特;马克·贝泽姆;可口、蒂埃里;埃里克·芬斯特;丹尼尔·格雷森;雨果·赫贝林;安德烈·乔亚尔;丹·利卡塔;彼得·卢姆斯代恩;阿西亚·马布比;马丁·洛夫(Martin-Lof,Per);谢尔盖·梅利霍夫;阿尔瓦罗·佩莱奥;安德鲁·波伦斯基;迈克尔·舒尔曼;索索、马蒂厄;溅出物,Bas;本诺·范登伯格;弗拉基米尔·沃沃德斯基;迈克尔·沃伦;诺姆·齐尔伯格;卡洛·安吉利;博德,安东尼;纪尧姆·布鲁内利;克里斯·卡普尔金;埃格伯特·里杰克;克里斯蒂娜·索贾科娃;杰里米·阿维加德;西里尔·科恩;罗伯特·康斯特布尔;皮埃尔·卢伊斯·居里;彼得·戴比杰;马丁·埃斯卡多;Hou,Kuen-Bang先生;甘比诺,尼古拉;理查德·加纳;乔治·戈蒂尔;托马斯·黑尔斯;罗伯特·哈珀;马丁·霍夫曼;彼得·霍夫斯特拉;约阿希姆·科克;尼古拉·克劳斯;李诺;罗朝晖;迈克尔·纳哈斯;埃里克·帕尔姆格伦;艾米丽·里尔;达纳·斯科特;菲利普·斯科特;谢尔盖·索洛维耶夫] 同伦类型理论。数学的单价基础。 (英语) Zbl 1298.03002号 新泽西州普林斯顿:高等研究院;北卡罗来纳州罗利:卢鲁出版社。ix,468页。(2013). 审核人:马可·贝尼尼(布奇纳斯科) MSC公司:2002年3月 55-02 03B15号机组 03G30型 第18页第15页 18个B05 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{单价基础计划},同伦类型理论。数学的单价基础。新泽西州普林斯顿:高等研究院;北卡罗来纳州罗利:卢鲁出版社(2013;Zbl 1298.03002) 全文: arXiv公司 链接