@第{zbMATH07547337条，作者＝｛Altenkirch，Thorsten｝，Title={Martin{Hofmann}对类型理论的贡献：群胚和单价}，FJournal={MSCS.计算机科学中的数学结构}，日志={Math.Struct.Comput.Sci.}，ISSN={0960-1295}，体积={31}，数字={9}，页码={953--957}，年份={2021}，语言={英语}，DOI={10.1017/S0960129520000316}，关键词={03-03,01A70,03B38}，zbMATH={7547337}，Zbl={1496.03003}}