单价基金项目 [彼得·阿策尔；阿伦斯，贝内迪克特；托尔斯滕·阿滕柯奇；史蒂夫·阿沃迪；布鲁诺·巴拉斯；安德烈·鲍尔；伊夫·贝托特；马克·贝泽姆；可口、蒂埃里；埃里克·芬斯特；丹尼尔·格雷森；雨果·赫贝林；安德烈·乔亚尔；丹·利卡塔；彼得·卢姆斯代恩；阿西亚·马布比；马丁·洛夫（Martin-Lof，Per）；谢尔盖·梅利霍夫；阿尔瓦罗·佩莱奥；安德鲁·波伦斯基；舒尔曼，迈克尔；索索、马蒂厄；溅出物，Bas；本诺·范登伯格；弗拉基米尔·沃沃德斯基；迈克尔·沃伦；诺姆·齐尔伯格；卡洛·安吉利；安东尼·博尔吉；纪尧姆·布鲁内里；克里斯·卡普尔金；埃格伯特·里杰克；克里斯蒂娜·索贾科娃；杰里米·阿维加德；科恩，西里尔；罗伯特·康斯特布尔；皮埃尔·卢伊斯·居里；彼得·迪布杰；马丁·埃斯卡多；侯宽邦；尼古拉·甘比诺；理查德·加纳；乔治·戈蒂尔；托马斯·黑尔斯；罗伯特·哈珀；马丁·霍夫曼；彼得·霍夫斯特拉；约阿希姆·科克；尼古拉·克劳斯；李诺；罗朝晖；迈克尔·纳哈斯；埃里克·帕尔姆格伦；艾米丽·里尔；达纳·斯科特；菲利普·斯科特；谢尔盖·索洛维耶夫] 同伦类型理论。数学的单价基础。 （英语） 兹比尔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公司 链接
安德烈·鲍尔；马丁·霍夫曼；阿列克桑德·卡比雪夫 二阶泛函的单参数性。 （英语） Zbl 1260.68071号 Pfenning，Frank（编辑），《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013，是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37074-8/pbk）。计算机科学课堂讲稿7794225-240（2013）。MSC公司：68甲18 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Bauer}等人，Lect。票据计算。科学。7794225-240（2013年；Zbl 1260.68071） 全文： 内政部