@收款{zbMATH06385853，作者={Licata，Daniel R.和Brunerie，Guillaume}，同伦类型理论中的Title={{\（\pi_{n}（S^{n}）}}，BookTitle={认证程序和证明。第三届国际会议，2013年CPP，墨尔本，维多利亚州，澳大利亚，2013年12月11-13日。诉讼}，国际标准图书编号={978-3-319-03544-4}，页码={1--16}，年份={2013}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-319-03545-1_1}，关键词={03B38,03G30,55U40}，zbMATH={6385853}，Zbl=｛1427.03033｝}