马丁·霍夫曼；洛伦兹·勒特盖布；大卫·奥布瓦勒；乔治·莫瑟；弗洛里安·祖勒格 对数摊销复杂度的基于类型的分析。 （英语） 兹比尔1517.68070 数学。结构。计算。科学。 32，第6号，794-826（2022）.MSC公司：68甲18 03B38型 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}等人，《数学》。结构。计算。科学。32，编号6，794--826（2022；Zbl 1517.68070） 全文： 内政部 arXiv公司
马丁·霍夫曼；杰雷米·莱登特 简单类型（lambda）演算的定量模型。 （英语） Zbl 07650542号 数学。结构。计算。科学。 32，第6号，777-793（2022）.MSC公司：03B40型 PDF格式BibTeX公司 XML格式引用 \textit｛M.Hofmann｝和\textit｛J.Ledent｝，数学。结构。计算。科学。32，编号6，777--793（2022；Zbl 07650542） 全文： 内政部
尼克·本顿；马丁·霍夫曼；Vivek Nigam先生 用于名称生成的证明相关的逻辑关系。 （英语） Zbl 1459.68041号 日志。方法计算。科学。 14，第1号，第25号论文，第22页（2018）.MSC公司：68号30 03B70号 68甲15 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人，Log。方法计算。科学。14，第1号，第25号论文，22页（2018；Zbl 1459.68041） 全文： 内政部 arXiv公司
塞尔达，埃尔巴图尔；马丁·霍夫曼；尤根·兹利内斯库 执行带有区域类型和效果的规划指南。 （英语） Zbl 1503.68030号 Chang，Bor-Yuh-Evan（编辑），《编程语言和系统》。2017年11月27日至29日，第15届亚洲研讨会，APLAS 2017，中国苏州。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10695, 85-104 (2017).MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人，Lect。注释计算。科学。10695，85-104（2017；Zbl 1503.68030） 全文： 内政部 arXiv公司
尼克·本顿；安德鲁·肯尼迪；马丁·霍夫曼；Vivek Nigam先生 计算成功：非确定性程序的效果和转换。 （英语） Zbl 1343.68054号 林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。商会：施普林格出版社（ISBN 978-3-319-30935-4/pbk；978-3-319-30936-1/ebook）。《计算机科学讲义》9600，56-72（2016）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{N.Benton}等人，Lect。注释计算。科学。9600，56-72（2016；Zbl 1343.68054） 全文： 内政部
马丁·霍夫曼 逻辑关系和不确定性。 （英语） 兹比尔1453.68048 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·维尔辛（Martin Wirsing）在2015年从编程和软件工程主席退休之际发表的论文，德国慕尼黑。论文。查姆：斯普林格。莱克特。注释计算。科学。8950, 62-74 (2015).MSC公司：68号30 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}，莱克特。注释计算。科学。8950，62-74（2015；Zbl 1453.68048） 全文： 内政部
皮埃尔·卢伊斯·居里；Richard加纳；马丁·霍夫曼 重新审视依赖型理论的范畴解释。 （英语） Zbl 1433.03029号 西奥。计算。科学。 546, 99-119 (2014).MSC公司：03B38型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{P.-L.居里}等人，Theor。计算。科学。546，99-119（2014年；兹bl 1433.03029） 全文： 内政部
伦纳特·贝林格；罗伯特·格拉博夫斯基；马丁·霍夫曼 使用区域类型系统验证指针和字符串分析。 （英语） Zbl 1290.68034号 计算。语言系统。结构。 39，第2号，49-65（2013）.MSC公司：68号30 60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}等人，计算。语言系统。结构。39、第2号、第49-65号（2013；Zbl 1290.68034） 全文： 内政部
乌戈·达尔拉戈；马丁·霍夫曼 可实现模型和隐式复杂性。 （英语） Zbl 1222.03065号 西奥。计算。科学。 412，第20号，2029-2047（2011）.MSC公司：03楼52 03B70号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{M.Hofmann}，Theor。计算。科学。412，第20号，2029--2047（2011；Zbl 1222.03065） 全文： 内政部
乌戈·达尔拉戈；马丁·霍夫曼 光仿射逻辑多重时间合理性的语义证明。 （英语） Zbl 1205.68169号 理论计算。系统。 46，第4期，673-689（2010）.MSC公司：2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{M.Hofmann}，理论计算。系统。46，第4号，673--689（2010；Zbl 1205.68169） 全文： 内政部
马丁·霍夫曼；罗德里格斯，杜尔马 摊销堆空间分析的高效类型检查。 （英语） Zbl 1257.68051号 Grädel，Erich（编辑）等人，《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会，EACSL第18届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04026-9/pbk）。《计算机科学讲义》5771、317-331（2009）。MSC公司：68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{D.罗德里格斯}，莱克特。注释计算。科学。5771、317--331（2009年；Zbl 1257.68051） 全文： 内政部
乌戈·达尔拉戈；马丁·霍夫曼 有界线性逻辑，重新审视。 （英语） Zbl 1211.03089号 Curien，Pierre-Louis（编辑），《lambda计算类型和应用》。2009年7月1日至3日在巴西巴西利亚举行的2009年TLCA第九届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02272-2/pbk）。计算机科学课堂讲稿5608，80-94（2009）。MSC公司：03楼52 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{M.Hofmann}，莱克特。注释计算。科学。5608、80-94（2009年；Zbl 1211.03089） 全文： 内政部 arXiv公司
伦纳特·贝林格；马丁·霍夫曼；玛丽埃拉·巴夫洛娃 使用Mobius基本逻辑进行认证。 （英语） 兹比尔1209.68121 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 978-3-540-92187-5/pbk）。计算机科学课堂讲稿538225-51（2008）。MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Beringer}等人，Lect。注释计算。科学。5382，25-51（2008；Zbl 1209.68121） 全文： 内政部
大卫·阿斯皮纳尔；马丁·霍夫曼；Konečný，迈克尔 具有使用方面的类型系统。 （英语） Zbl 1142.68019号 J.功能。程序。 18，第2期，141-178（2008）.MSC公司：68甲18 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人，J.Funct。程序。18，第2号，141--178（2008；Zbl 1142.68019） 全文： 内政部
大卫·阿斯皮纳尔；伦纳特·贝林格；马丁·霍夫曼；汉斯·沃夫冈·洛伊德；阿尔贝托·莫米利亚诺 资源的程序逻辑。 （英语） Zbl 1133.68010号 西奥。计算。科学。 389，第3期，411-445（2007）.MSC公司：68甲15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Aspinall}等人，Theor。计算。科学。389，第3号，411--445（2007；Zbl 1133.68010） 全文： 内政部 链接
M.霍夫曼。；P.J.斯科特。 类BLL语言的可实现性模型。 （英语） Zbl 1047.03049号 西奥。计算。科学。 318，编号1-2，121-137（2004）.MSC公司：03楼52 03C13号机组 19年第68季度 2015年第68季度 20层03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{P.J.斯科特}，提奥。计算。科学。318，编号1--2，121-137（2004；Zbl 1047.03049） 全文： 内政部
克劳斯·埃利格；乌尔里希·伯杰；马丁·霍夫曼；赫尔穆特·施维赫滕贝格 一种用于非增倍多项式时间计算的算法。 （英语） Zbl 1064.03036号 西奥。计算。科学。 318，编号1-2，3-27（2004）.MSC公司：20层03 2015年3月1日 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{K.Aehlig}等人，Theor。计算。科学。318，编号1--2，3--27（2004；Zbl 1064.03036） 全文： 内政部
马丁·霍夫曼 线性类型和非增倍多项式时间计算。 （英语） Zbl 1054.68065号 Inf.计算。 183，第1期，57-85（2003）.MSC公司：2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}，信息计算。183，第1号，57--85（2003；Zbl 1054.68065） 全文： 内政部
马丁·霍夫曼；托马斯·斯特里彻 （lambda_\mu）-演算连续模型的完备性。 （英语） 兹伯利1096.03011 Inf.计算。 179，第2期，332-355（2002）.MSC公司：03B40型 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}和\textit{T.Streicher}，信息计算。179，第2号，332--355（2002；Zbl 1096.03011） 全文： 内政部
斯蒂芬·贝兰托尼；马丁·霍夫曼 一种新的“可行”算法。 （英语） Zbl 1006.03035号 J.塞姆。日志。 67，第1期，104-116（2002）. 审核人：罗曼·穆拉夫斯基（波兹南） MSC公司：03英尺30英寸 03B45 PDF格式BibTeX公司 XML格式引用 \textit{S.Bellantoni}和\textit{M.Hofmann}，J.Symb。日志。67，编号1，104--116（2002；Zbl 1006.03035） 全文： 内政部
马丁·霍夫曼 具有更高类型和BCK-代数的安全递归。 （英语） Zbl 0959.68075号 Ann.纯粹应用。逻辑 104，编号1-3，113-166（2000）.MSC公司：第68季度55 2015年3月1日 第三天65 68甲18 35楼06号 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}，安。纯应用。逻辑104，No.1--3113--166（2000；Zbl 0959.68075） 全文： 内政部
马丁·霍夫曼 对内涵型理论的平等反思的保守性。 （英语） Zbl 1434.03038号 Berardi，Stefano（编辑）等人，《证明和程序的类型》。1995年6月5日至8日在意大利都灵举行的95型国际研讨会。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1158, 153-164 (1996).MSC公司：03B38型 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}，莱克特。注释计算。科学。1158153-164（1996年；Zbl 1434.03038） 全文： 内政部
马丁·霍夫曼；唐纳德·桑内拉 关于高阶逻辑中的行为抽象和行为满足。 （英语） Zbl 1496.68190号 Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 247-261 (1995).MSC公司：60年第68季度 03B70号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.霍夫曼}和\textit{D.Sannella}，莱克特。注释计算。科学。915247--261（1995年；Zbl 1496.68190） 全文： 内政部