托尔斯滕阿尔滕基奇 马丁·霍夫曼对类型理论的贡献:群胚和单价。 (英语) Zbl 1496.03003号 数学。结构。计算。科学。 31,第9期,953-957(2021).MSC公司:03-03 01A70号 03B38型 PDF格式BibTeX公司 XML格式引用 \textit{T.Altenkirch},数学。结构。计算。科学。31,第9号,953--957(2021;Zbl 1496.03003) 全文: 内政部
简·霍夫曼(编辑);唐纳德·桑内拉(编辑);乌尔里希·舍普(编辑) 为纪念马丁·霍夫曼,特刊前言。一、。 (英语) 1490.00041兹罗提 数学。结构。计算。科学。 31,第9号,950-952(2021).MSC公司:00B15号机组 03-06 68-06 01A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.霍夫曼}(编辑)等,《数学》。结构。计算。科学。第9号第31页,950-952页(2021年;兹bl 1490.00041) 全文: 内政部