@第{zbMATH07395401条，作者={Lumsdaine，Peter Lefanu和Shulman，Michael}，标题={高级归纳类型的语义}，FJournal＝{剑桥哲学学会数学论文集}，期刊={数学、程序、剑桥、哲学、社会学}，ISSN={0305-0041}，体积={169}，数字={1}，页码={159--208}，年份={2020年}，语言={英语}，DOI={10.1017/S030500411900015X}，关键词={18C50,03B38,18N40,18N45,18N60}，zbMATH={7395401}，Zbl={1470.18007}}