马丁·霍夫曼;勒登特，Jérémy 用于高阶模型检查的笛卡尔闭范畴。 （英语） Zbl 1460.68061号 2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第60条，第12页（2017年）。MSC公司：60年第68季度 18日第15天 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{J.Ledent}，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年LICS，冰岛雷克雅未克雷克雅维克大学，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第60条，第12页（2017；Zbl 1460.68061） 全文： 链接
皮埃尔·路易斯·库里恩;理查德·加纳;马丁·霍夫曼 重新审视依赖型理论的范畴解释。 （英语） Zbl 1433.03029号 西奥。计算。科学。 546, 99-119 (2014).MSC公司：03B38型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里}等人，Theor。计算。科学。546、99——119（2014；Zbl 1433.03029） 全文： DOI程序
大学基础课程 [彼得·阿策尔;阿伦斯，贝内迪克特;托尔斯滕·阿滕柯奇;史蒂夫·阿沃迪;布鲁诺·巴拉斯;安德烈·鲍尔;伊夫·贝托特;马克·贝泽姆;可口、蒂埃里;埃里克·芬斯特;丹尼尔·格雷森;雨果·赫贝林;安德烈·乔亚尔;丹·利卡塔;彼得·卢姆斯代恩;阿西亚·马布比;马丁·洛夫（Martin-Lof，Per）;谢尔盖·梅利霍夫;阿尔瓦罗·佩莱奥;安德鲁·波伦斯基;迈克尔·舒尔曼;索索、马蒂厄;溅出物，Bas;本诺·范登伯格;弗拉基米尔·沃沃德斯基;迈克尔·沃伦;诺姆·齐尔伯格;卡洛·安吉利;安东尼·博尔吉;纪尧姆·布鲁内里;克里斯·卡普尔金;埃格伯特·里杰克;克里斯蒂娜·索贾科娃;杰里米·阿维加德;西里尔·科恩;罗伯特·康斯特布尔;皮埃尔·卢伊斯·居里;彼得·戴比杰;马丁·埃斯卡多;Hou，Kuen-Bang先生;甘比诺，尼古拉;理查德·加纳;乔治·戈蒂尔;托马斯·黑尔斯;罗伯特·哈珀;马丁·霍夫曼;彼得·霍夫斯特拉;约阿希姆·科克;尼古拉·克劳斯;李诺;罗朝晖;迈克尔·纳哈斯;埃里克·帕尔姆格伦;艾米丽·里尔;达纳·斯科特;菲利普·斯科特;谢尔盖·索洛维耶夫] 同伦类型理论。数学的单价基础。 （英语） Zbl 1298.03002号 新泽西州普林斯顿：高等研究院；北卡罗来纳州罗利：卢鲁出版社。ix，468页。(2013). 审核人：马可·贝尼尼（布奇纳斯科） MSC公司：03-02 55-02 03年11月15日 03G30型 18甲15 18个B05 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{单价基础计划}，同伦类型理论。数学的单价基础。新泽西州普林斯顿：高等研究所；北卡罗来纳州罗利：卢鲁出版社（2013；Zbl 1298.03002） 全文： arXiv公司 链接
马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳 对称透镜。 （英语） Zbl 1284.18009号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-4503-0490-0）。371-384 (2011).MSC公司：18立方厘米 08A70号 68N99型 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}等人，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。371-384（2011；Zbl 1284.18009） 全文： DOI程序
长谷川、Masahito;马丁·霍夫曼;戈登·普洛金 有限维向量空间对于追踪对称单体范畴是完备的。 （英语） Zbl 1134.18003号 Avron，Arnon（编辑）等人，《计算机科学的支柱》。在鲍里斯（波阿斯）·特拉赫滕布罗特85岁生日之际，为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-540-78126-4/pbk）。计算机科学课堂讲稿4800，367-385（2008）。MSC公司：18日第10天 18立方厘米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.长谷川}等人，Lect。注释计算。科学。4800、367--385（2008；Zbl 1134.18003） 全文： DOI程序 链接
M.霍夫曼。;van Oosten，J。;斯特里彻，T。 实现性良好。 （英语） Zbl 1112.03058号 架构（architecture）。数学。逻辑 45，第7期，795-805（2006）. 审核人：彼得·约翰斯通（剑桥） MSC公司：03G30型 第03页第55页 18对25 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}等人，Arch。数学。逻辑45，No.7，795--805（2006；Zbl 1112.03058） 全文： DOI程序 链接
马丁·霍夫曼（编辑）;朱塞佩·罗索里尼（编辑）;达斯科·巴甫洛维奇（编辑） CTCS’99。类别理论与计算机科学会议，英国爱丁堡，1999年9月10日至12日。 （英语） Zbl 0942.00057号 理论计算机科学电子笔记. 29. 阿姆斯特丹：Elsevier，22篇论文（电子版）（1999年）。MSC公司：00时25分 68-06 18-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}（编辑）等人，CTCS’99。类别理论和计算机科学会议，英国爱丁堡，1999年9月10日至12日。阿姆斯特丹：Elsevier（1999；Zbl 0942.00057）
马丁·霍夫曼 类别理论语义在使用高阶函数代数表征复杂性类中的应用。 （英语） Zbl 0931.03058号 牛市。符号。日志。 3，第4期，469-486（1997）.MSC公司：2015年3月1日 2015年第68季度 03B40型 18层20 03G30型 03D65年 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}，公牛。符号。日志。3，第4号，469--486（1997；Zbl 0931.03058） 全文： DOI程序 链接 链接
马丁·霍夫曼 关于局部笛卡尔闭范畴中类型理论的解释。 （英语） Zbl 1044.03544号 Leszek（编辑）等，《计算机科学逻辑》。1994年9月25日至30日，波兰卡齐米尔兹CSL’94第八次研讨会。精选论文。柏林：Springer-Verlag（ISBN 3-540-60017-5）。莱克特。注释计算。科学。933, 427-441 (1995).MSC公司：03G30型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}，莱克特。注释计算。科学。933427-441（1995年；Zbl 1044.03544）