@第{zbMATH06671044条，作者={Voevodsky，Vladimir}，标题={类型族和{{\（（\Pi，\lambda）\）}}-结构的乘积{C} -系统},FJournal={范畴理论与应用}，期刊={理论应用分类}，ISSN={1201-561X}，体积={31}，页码={1044--1094}，年份={2016年}，语言={英语}，关键词={03F50,18C50,03B15,18D15}，zbMATH={6671044}，Zbl={1380.03072}}