@文章{zbMATH06958068，作者={Awodey，Steve}，Title={同伦型理论的立方模型}，FJournal＝{纯粹与应用逻辑年鉴}，日志={Ann.Pure Appl.Logic}，ISSN={0168-0072}，体积={169}，数字={12}，页码={1270--1294}，年份={2018年}，语言={英语}，DOI={10.1016/j.apal.2018.08.002}，关键词={03B38,18C10,18G90,55U35}，zbMATH={6958068}，Zbl={1522.03038}}