彼得·勒法努·卢姆斯代恩;迈克尔·舒尔曼 较高归纳类型的语义。 （英语） Zbl 1470.18007号 数学。程序。外倾角。菲洛斯。Soc公司。 169，第1期，159-208（2020）. 审核人：Hirokazu Nishimura（筑波） MSC公司：18 C50 03B38型 18纳米40 18号45 18号60 PDF格式BibTeX公司 XML格式引用 \textit{P.L.Lumsdaine}和\textit{M.Shulman}，数学。程序。外倾角。菲洛斯。Soc.169，No.1，159--208（2020；Zbl 1470.18007） 全文： 内政部 arXiv公司 反向链接： 卫生官员
奥克·巴特·布伊吉;马丁·霍泽尔·埃斯卡多;彼得·勒法努，朗斯丹;迈克尔·舒尔曼 参数性、宇宙自同构和排除中间。 arXiv公司：1701.055617 预印本，arXiv:1701.05617[cs.LO]（2017）。 BibTeX公司 引用 \textit{A.B.Booij}等人，“宇宙的参数性、自同构和排除中间”，预印本，arXiv:1701.05617[cs.LO]（2017） 全文： arXiv公司 OA许可证
单价基金项目 [彼得·阿策尔;阿伦斯，贝内迪克特;托尔斯滕·阿滕柯奇;史蒂夫·阿沃迪;布鲁诺·巴拉斯;安德烈·鲍尔;伊夫·贝托特;马克·贝泽姆;可口、蒂埃里;埃里克·芬斯特;丹尼尔·格雷森;雨果·赫贝林;安德烈·乔亚尔;丹·利卡塔;彼得·卢姆斯代恩;阿西亚·马布比;马丁·洛夫（Martin-Lof，Per）;谢尔盖·梅利霍夫;阿尔瓦罗·佩莱奥;安德鲁·波伦斯基;迈克尔·舒尔曼;索索、马蒂厄;溅出物，Bas;本诺·范登伯格;弗拉基米尔·沃沃德斯基;迈克尔·沃伦;诺姆·齐尔伯格;卡洛·安吉利;安东尼·博尔吉;纪尧姆·布鲁内里;克里斯·卡普尔金;埃格伯特，里克;克里斯蒂娜·索贾科娃;杰瑞米·阿维加德;西里尔·科恩;罗伯特，警员;皮埃尔·卢伊斯·居里;彼得·迪布杰;马丁·埃斯卡多;Hou，Kuen-Bang先生;尼古拉·甘比诺;理查德·加纳;乔治·戈蒂尔;托马斯·黑尔斯;罗伯特·哈珀;马丁·霍夫曼;彼得·霍夫斯特拉;约阿希姆·科克;尼古拉·克劳斯;李诺;罗朝晖;迈克尔·纳哈斯;埃里克·帕尔姆格伦;艾米丽·里尔;达纳·斯科特;菲利普·斯科特;谢尔盖·索洛维耶夫] 同伦类型理论。数学的单价基础。 （英语） Zbl 1298.03002号 新泽西州普林斯顿：高等研究院；北卡罗来纳州罗利：卢鲁出版社。ix，468页。(2013). 审核人：马可·贝尼尼（布奇纳斯科） MSC公司：03-02 55-02 03B15号机组 03G30型 18甲15 18个B05 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{单价基础计划}，同伦类型理论。数学的单价基础。新泽西州普林斯顿：高等研究院；北卡罗来纳州罗利：卢鲁出版社（2013；Zbl 1298.03002） 全文： arXiv公司 链接