×

马丁·霍夫曼(1965年出生,2018年出生)

作者ID: 霍夫曼·马丁“Hofmann,Martin”最近发表的zbMATH文章
发布日期: 马丁·霍夫曼;M.霍夫曼。
主页: https://www.tcs.ifi.lmu.de/mitarbeiter/martin-hofmann网站
外部链接: MGP公司·维基数据·数据库许可证·接地·ID参考·论文.fr
已编制索引的文档: 87出版物自1994年以来,包括2本书
7作为编辑的贡献·1进一步贡献
传记参考: 4出版物
合著者: 60位合著者具有72联合出版物
1449名合著者
全部的 前5名

合著者

21 单作者的
8 伦纳特·贝林格
6 乌戈·达尔拉戈
5 大卫·阿斯皮纳尔
5 尼克·本顿
5 托马斯·斯特里彻
4 斯特芬·乔斯特
4 汉斯·沃夫冈·洛伊德
4 Vivek Nigam先生
4 本杰明·皮尔斯。
阿列克桑德·卡比雪夫
阿尔贝托·莫米利亚诺
乔治·莫瑟
杜尔玛·罗德里格斯
乌尔里希·舍普
2 克劳斯·埃利格
2 托尔斯滕·阿滕柯奇
2 安德烈·鲍尔
2 萨宾·鲍尔
2 可口、蒂埃里
2 皮埃尔·卢伊斯·居里
2 理查德·加纳
2 罗伯特·格拉博夫斯基
2 詹·菲利普·霍夫曼
2 Hötzel Escardó,马汀
2 安德鲁·肯尼迪。
2 马丁·兰格
2 杰雷米·莱登特
2 拉米亚,拉米亚
2 唐纳德·桑内拉。
2 菲利普·斯科特。
2 赫尔穆特·塞德尔
2 丹尼尔·瓦格纳
1 彼得·阿策尔
1 阿伦斯,贝内迪克特
1 卡洛·安吉利
1 杰里米·阿维加德
1 史蒂夫·阿沃迪
1 布鲁诺·巴拉斯
1 斯蒂芬·巴特
1 斯蒂芬·贝兰托尼。
1 乌尔里希·伯杰
1 伊夫·贝托特
1 马克·贝泽姆
1 安东尼·博尔吉
1 纪尧姆·布鲁内里
1 布莱恩·坎贝尔
1 陈伟
1 西里尔·科恩
1 罗伯特·李警官
1 达克斯,基督徒
1 彼得·戴比杰
1 塞尔达尔·埃尔巴图尔
1 埃里克·芬斯特
1 默多克·詹姆斯·加贝
1 尼古拉·甘比诺
1 乔治·戈蒂尔
1 丹尼尔·理查德·格雷森
1 托马斯·卡利斯特·黑尔斯
1 凯文·哈蒙德
1 罗伯特·哈珀
1 斯文·哈哲姆
1 长谷川、Masahito
1 雨果·赫贝林
1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。
1 Hou(Favonia)、Kuen-Bang
1 安德烈·乔亚尔
1 Krzysztof卡普尔金
1 约阿希姆·科克
1 米查尔·科内奇
1 尼古拉·克劳斯
1 洛伦兹·勒特盖布
1 李诺
1 丹·利卡塔
1 彼得·勒法努·卢姆斯代恩
1 罗朝晖
1 阿西亚·马布比
1 马丁·洛夫(Martin-Löf,Per)
1 谢尔盖·阿列克桑德罗维奇·梅利霍夫
1 迈克尔·纳哈斯
1 克里斯蒂安·纽基兴
1 大卫·奥布瓦勒
1 埃里克·帕尔姆格伦
1 玛丽埃拉·巴夫洛娃
1 巴甫洛维奇,杜什科
1 阿尔瓦罗·佩莱奥
1 戈登·普洛金(Gordon D.Plotkin)。
1 安德鲁·波伦斯基
1 阿克塞尔·劳什梅尔
1 艾米丽·里尔
1 埃格伯特·里杰克
1 朱塞佩·罗索里尼
1 哈拉尔德街
1 赫尔穆特·施维赫滕贝格
1 达娜·斯图尔特·斯科特
1 奥哈·什卡拉夫斯卡
1 Michael A.舒尔曼。
1 克里斯蒂娜·索贾科娃
1 索洛夫·弗拉基米洛维奇
1 索索、马蒂厄
1 溅出物,Bas
……还有另外14位合著者

按年份列出的出版物

zbMATH Open中包含的引文

75出版物有被引用656中的次435文件 引用人 年份
同伦类型理论。数学的单价基础。 兹比尔1298.03002
单价基金项目
199
2013
类型理论的群系解释。 Zbl 0930.03089号
马丁·霍夫曼;托马斯·斯特里彻
65
1998
依赖类型的语法和语义。 Zbl 0919.68083号
马丁·霍夫曼
55
1997
一阶函数程序堆空间使用情况的静态预测。 Zbl 1321.68180号
马丁·霍夫曼;斯特芬·乔斯特
39
2003
线性类型和非增倍多项式时间计算。 Zbl 1054.68065号
马丁·霍夫曼
31
2003
关于局部笛卡尔闭范畴中类型理论的解释。 Zbl 1044.03544号
马丁·霍夫曼
31
1995
多元摊销资源分析。 Zbl 1284.68132号
简·霍夫曼;克劳斯·埃利格;马丁·霍夫曼
30
2011
具有更高类型和BCK-代数的安全递归。 Zbl 0959.68075号
马丁·霍夫曼
22
2000
线性时间微积分的一个证明系统。 Zbl 1163.03308号
达克斯,基督徒;马丁·霍夫曼;马丁·兰格
18
2006
多项式潜力摊销资源分析。函数程序多项式界的静态推断。 Zbl 1260.68074号
简·霍夫曼;马丁·霍夫曼
17
2010
内涵类型理论中的外延结构。 兹比尔1411.03001
马丁·霍夫曼
16
1997
混合模式/线性lambda演算及其在Bellantoni-Cook安全递归中的应用。 Zbl 0908.03022号
马丁·霍夫曼
13
1998
一种建立经典系统在其直觉版本上保守性的新方法。 Zbl 0935.03069号
可口、蒂埃里;马丁·霍夫曼
13
1999
高阶程序定量资源使用的静态确定。 Zbl 1312.68039号
斯特芬·乔斯特;凯文·哈蒙德;汉斯·沃夫冈·洛伊德;马丁·霍夫曼
13
2010
关于高阶逻辑中的行为抽象和行为满足。 Zbl 0874.68196号
马丁·霍夫曼;唐纳德·桑内拉
12
1996
标称重命名集。 Zbl 1182.03065号
默多克·J·加贝。;马丁·霍夫曼
12
2008
对称透镜。 Zbl 1284.18009号
马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳
12
2011
基于类型的摊销堆空间分析。 Zbl 1178.68143号
马丁·霍夫曼;斯特芬·乔斯特
11
2006
资源的程序逻辑。 Zbl 1133.68010号
大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺
11
2007
无还原标准化证明。 Zbl 1502.03019号
托尔斯滕·阿滕柯奇;马丁·霍夫曼;托马斯·斯特里彻
10
1995
非尺寸递增计算的强度。 Zbl 1323.68213号
马丁·霍夫曼
10
2002
调用值控制操作符的完善公理化。 Zbl 0846.68066号
马丁·霍夫曼
9
1995
堆消耗的自动认证。 Zbl 1108.68374号
伦纳特·贝林格;马丁·霍夫曼;阿尔贝托·莫米利亚诺;奥哈·什卡拉夫斯卡
9
2005
重新审视依赖型理论的范畴解释。 Zbl 1433.03029号
皮埃尔·卢伊斯·居里;理查德·加纳;马丁·霍夫曼
9
2014
定量模型和隐含复杂性。 Zbl 1172.68477号
乌戈·达尔拉戈;马丁·霍夫曼
8
2005
一种新的“可行”算法。 Zbl 1006.03035号
斯蒂芬·贝兰托尼;马丁·霍夫曼
8
2002
有限维向量空间对于追踪对称单体范畴是完备的。 Zbl 1134.18003号
长谷川、Masahito;马丁·霍夫曼;戈登·普洛金
8
2008
一种用于非增倍多项式时间计算的算法。 Zbl 1064.03036号
克劳斯·埃利格;乌尔里希·伯杰;马丁·霍夫曼;赫尔穆特·施维赫滕贝格
8
2004
类BLL语言的可实现性模型。 Zbl 1047.03049号
M.霍夫曼。;P.J.斯科特。
8
2004
\(\lambda_\mu\)-微积分的连续模型的完备性。 Zbl 1096.03011号
马丁·霍夫曼;托马斯·斯特里彻
7
2002
阅读、写作和关系。面向效果分析的扩展语义。 Zbl 1168.68356号
尼克·本顿;安德鲁·肯尼迪;马丁·霍夫曼;伦纳特·贝林格
7
2006
实数计算的区间模型的非连续性。 Zbl 1067.68070号
马丁·埃斯卡多;马丁·霍夫曼;托马斯·斯特里彻
7
2004
内涵型理论中等式反射的保守性。 Zbl 1434.03038号
马丁·霍夫曼
7
1996
可实现模型和隐式复杂性。 Zbl 1222.03065号
乌戈·达尔拉戈;马丁·霍夫曼
7
2011
抽象效果和证明相关的逻辑关系。 Zbl 1284.68371号
尼克·本顿;马丁·霍夫曼;Vivek Nigam先生
7
2014
用于有界空间和函数就地更新的类型系统。 Zbl 0971.68023号
马丁·霍夫曼
6
2000
Büchi自动机的抽象解释。 Zbl 1401.68162号
马丁·霍夫曼;陈伟
5
2014
用于有界空间和函数就地更新的类型系统。(扩展摘要)。 Zbl 0964.68027号
马丁·霍夫曼
5
2000
阳性分型。 Zbl 0853.68125号
马丁·霍夫曼;本杰明·皮尔斯。
5
1996
编辑镜头。 Zbl 1321.68154号
马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳
5
2012
摊销资源分析和类型多项式解释。 Zbl 1416.68093号
马丁·霍夫曼;乔治·莫瑟
5
2014
商类型的简单模型。 Zbl 1063.68602号
马丁·霍夫曼
4
1995
摊销堆空间分析的自动类型推断。 Zbl 1381.68041号
马丁·霍夫曼;杜尔玛·罗德里格斯
4
2013
有界线性逻辑,重温。 Zbl 1211.03090号
乌戈·达尔拉戈;马丁·霍夫曼
4
2010
关于二阶泛函的一元参数性。 Zbl 1260.68071号
安德烈·鲍尔;马丁·霍夫曼;阿列克桑德·卡比雪夫
4
2013
光仿射逻辑多重时间合理性的语义证明。 Zbl 1205.68169号
乌戈·达尔拉戈;马丁·霍夫曼
4
2010
摊销堆空间分析的高效类型检查。 Zbl 1257.68051号
马丁·霍夫曼;杜尔玛·罗德里格斯
4
2009
有界线性逻辑,重温。 Zbl 1211.03089号
乌戈·达尔拉戈;马丁·霍夫曼
2009
具有使用方面的类型系统。 Zbl 1142.68019号
大卫·阿斯皮纳尔;马丁·霍夫曼;米查尔·科内奇
2008
用于高阶模型检查的笛卡尔闭范畴。 Zbl 1460.68061号
马丁·霍夫曼;杰雷米·莱登特
2017
术语重写系统的多元摊销资源分析。 Zbl 1367.68138号
马丁·霍夫曼;乔治·莫瑟
2015
使用区域类型系统验证指针和字符串分析。 Zbl 1253.68092号
伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼
2010
什么是纯函数? Zbl 1288.68037号
马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔
2010
无限树上的可判定不等式。 Zbl 1415.68059号
萨宾·鲍尔;斯特芬·乔斯特;马丁·霍夫曼
2018
实现性良好。 Zbl 1112.03058号
M.霍夫曼。;van Oosten,J。;斯特里彻,T。
2
2006
类别理论语义在使用高阶函数代数表征复杂性类中的应用。 Zbl 0931.03058号
马丁·霍夫曼
2
1997
用于名称生成的证明相关的逻辑关系。 Zbl 1459.68041号
尼克·本顿;马丁·霍夫曼;Vivek Nigam先生
2
2018
使用Mobius基本逻辑进行认证。 Zbl 1209.68121号
伦纳特·贝林格;马丁·霍夫曼;玛丽埃拉·巴夫洛娃
2
2008
线性/模态lambda演算的语义。 Zbl 0965.68011号
马丁·霍夫曼
2
1999
在高阶逻辑定理证明器中实现对象的程序逻辑。 Zbl 0974.68185号
马丁·霍夫曼;唐,弗朗西斯
2
2000
用于资源验证的程序逻辑。 Zbl 1099.68584号
大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺
2
2004
自动机理论和逻辑。(自动化理论与逻辑) Zbl 1257.68003号
马丁·霍夫曼;马丁·兰格
2
2011
带迭代的纯指针程序。 Zbl 1351.68101号
马丁·霍夫曼;乌尔里希·舍普
2
2010
使用区域类型系统验证指针和字符串分析。 Zbl 1290.68034号
伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼
2
2013
JML和类型的字节码逻辑。 Zbl 1168.68357号
伦纳特·贝林格;马丁·霍夫曼
1
2006
执行带有区域类型和效果的规划指南。 Zbl 1503.68030号
塞尔达尔·埃尔巴图尔;马丁·霍夫曼;尤根·兹利内斯库
1
2017
对数摊销复杂度的基于类型的分析。 Zbl 1517.68070号
马丁·霍夫曼;洛伦兹·勒特盖布;大卫·奥布瓦勒;乔治·莫瑟;弗洛里安·祖勒格
1
2022
在Coq中验证局部泛型解算器。 Zbl 1306.68029号
马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔
1
2010
具有获胜策略的\(\mu\)微积分认证。 Zbl 1354.68174号
马丁·霍夫曼;克里斯蒂安·纽基兴;哈拉尔德街
1
2016
关于高阶逻辑中的行为抽象和行为满足。 Zbl 1496.68190号
马丁·霍夫曼;唐纳德·桑内拉
1
1995
值得信赖的全球计算。2010年2月24日至26日在德国慕尼黑举行的2010年TGC第五届国际研讨会。修订了选定的论文。 Zbl 1198.68071号
1
2010
逻辑关系和不确定性。 Zbl 1453.68048号
马丁·霍夫曼
1
2015
可确定的线性列表约束。 Zbl 1403.68232号
萨宾·鲍尔;马丁·霍夫曼
1
2017
软件科学和计算结构基础。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议FOSSACS 2011,是欧洲软件理论与实践联合会议ETAPS 2011的一部分。诉讼程序。 Zbl 1213.68041号
1
2011
纯指针程序和树同构。 Zbl 1260.68099号
马丁·霍夫曼;拉米亚,拉米亚;乌尔里希·舍普
1
2013
对数摊销复杂度的基于类型的分析。 Zbl 1517.68070号
马丁·霍夫曼;洛伦兹·勒特盖布;大卫·奥布瓦勒;乔治·莫瑟;弗洛里安·祖勒格
1
2022
无限树上的可判定不等式。 Zbl 1415.68059号
萨宾·鲍尔;斯特芬·乔斯特;马丁·霍夫曼
2018
用于名称生成的证明相关的逻辑关系。 Zbl 1459.68041号
尼克·本顿;马丁·霍夫曼;Vivek Nigam先生
2
2018
用于高阶模型检查的笛卡尔闭范畴。 兹比尔1460.68061
马丁·霍夫曼;杰雷米·莱登特
2017
执行带有区域类型和效果的规划指南。 Zbl 1503.68030号
塞尔达尔·埃尔巴图尔;马丁·霍夫曼;尤根·兹利内斯库
1
2017
可确定的线性列表约束。 Zbl 1403.68232号
萨宾·鲍尔;马丁·霍夫曼
1
2017
具有获胜策略的\(\mu\)-演算认证。 Zbl 1354.68174号
马丁·霍夫曼;克里斯蒂安·纽基兴;哈拉尔德街
1
2016
术语重写系统的多元摊销资源分析。 Zbl 1367.68138号
马丁·霍夫曼;乔治·莫瑟
2015
逻辑关系和不确定性。 兹比尔1453.68048
马丁·霍夫曼
1
2015
重新审视依赖型理论的范畴解释。 Zbl 1433.03029号
皮埃尔·卢伊斯·居里;理查德·加纳;马丁·霍夫曼
9
2014
抽象效果和证明相关的逻辑关系。 Zbl 1284.68371号
尼克·本顿;马丁·霍夫曼;Vivek Nigam先生
7
2014
Büchi自动机的抽象解释。 Zbl 1401.68162号
马丁·霍夫曼;陈伟
5
2014
摊销资源分析和类型多项式解释。 Zbl 1416.68093号
马丁·霍夫曼;乔治·莫瑟
5
2014
同伦类型理论。数学的单价基础。 兹比尔1298.03002
单价基金项目
199
2013
摊销堆空间分析的自动类型推断。 Zbl 1381.68041号
马丁·霍夫曼;杜尔玛·罗德里格斯
4
2013
二阶泛函的单参数性。 Zbl 1260.68071号
安德烈·鲍尔;马丁·霍夫曼;阿列克桑德·卡比雪夫
4
2013
使用区域类型系统验证指针和字符串分析。 Zbl 1290.68034号
伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼
2
2013
纯指针程序和树同构。 Zbl 1260.68099号
马丁·霍夫曼;拉米亚,拉米亚;乌尔里希·舍普
1
2013
编辑镜头。 Zbl 1321.68154号
马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳
5
2012
多元摊销资源分析。 Zbl 1284.68132号
简·霍夫曼;克劳斯·埃利格;马丁·霍夫曼
30
2011
对称透镜。 Zbl 1284.18009号
马丁·霍夫曼;本杰明·皮尔斯;丹尼尔·瓦格纳
12
2011
可实现模型和隐式复杂性。 Zbl 1222.03065号
乌戈·达尔拉戈;马丁·霍夫曼
7
2011
自动机理论和逻辑。(自动化和物流。) Zbl 1257.68003号
马丁·霍夫曼;马丁·兰格
2
2011
软件科学和计算结构基础。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议FOSSACS 2011,是欧洲软件理论与实践联合会议ETAPS 2011的一部分。诉讼程序。 Zbl 1213.68041号
1
2011
多项式潜力摊销资源分析。函数程序多项式界的静态推断。 Zbl 1260.68074号
简·霍夫曼;马丁·霍夫曼
17
2010
高阶程序定量资源使用的静态确定。 Zbl 1312.68039号
斯特芬·乔斯特;凯文·哈蒙德;汉斯·沃夫冈·洛伊德;马丁·霍夫曼
13
2010
有界线性逻辑,重温。 Zbl 1211.03090号
乌戈·达尔拉戈;马丁·霍夫曼
4
2010
光仿射逻辑多重时间合理性的语义证明。 Zbl 1205.68169号
乌戈·达尔拉戈;马丁·霍夫曼
4
2010
使用区域类型系统验证指针和字符串分析。 兹比尔1253.68092
伦纳特·贝林格;罗伯特·格拉博夫斯基;马丁·霍夫曼
2010
什么是纯函数? Zbl 1288.68037号
马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔
2010
带迭代的纯指针程序。 Zbl 1351.68101号
马丁·霍夫曼;乌尔里希·舍普
2
2010
在Coq中验证局部泛型解算器。 Zbl 1306.68029号
马丁·霍夫曼;阿列克桑德·卡比雪夫;赫尔穆特·塞德尔
1
2010
值得信赖的全球计算。2010年2月24日至26日在德国慕尼黑举行的2010年TGC第五届国际研讨会。修订了选定的论文。 Zbl 1198.68071号
1
2010
摊销堆空间分析的高效类型检查。 Zbl 1257.68051号
马丁·霍夫曼;杜尔玛·罗德里格斯
4
2009
有界线性逻辑,重温。 Zbl 1211.03089号
乌戈·达尔拉戈;马丁·霍夫曼
2009
标称重命名集。 Zbl 1182.03065号
默多克·J·加贝。;马丁·霍夫曼
12
2008
有限维向量空间对于追踪对称单体范畴是完备的。 Zbl 1134.18003号
长谷川、Masahito;马丁·霍夫曼;普罗特金,戈登
8
2008
具有使用方面的类型系统。 Zbl 1142.68019号
大卫·阿斯皮纳尔;马丁·霍夫曼;米查尔·科内奇
2008
使用Mobius基本逻辑进行认证。 Zbl 1209.68121号
伦纳特·贝林格;马丁·霍夫曼;玛丽埃拉·巴夫洛娃
2
2008
资源的程序逻辑。 Zbl 1133.68010号
大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺
11
2007
线性时间微积分的一个证明系统。 Zbl 1163.03308号
达克斯,基督徒;马丁·霍夫曼;马丁·兰格
18
2006
基于类型的摊销堆空间分析。 Zbl 1178.68143号
马丁·霍夫曼;斯特芬·乔斯特
11
2006
阅读、写作和关系。面向效果分析的扩展语义。 Zbl 1168.68356号
尼克·本顿;安德鲁·肯尼迪;马丁·霍夫曼;伦纳特·贝林格
7
2006
实现性良好。 Zbl 1112.03058号
M.霍夫曼。;van Oosten,J。;斯特里彻,T。
2
2006
JML和类型的字节码逻辑。 Zbl 1168.68357号
伦纳特·贝林格;马丁·霍夫曼
1
2006
堆消耗的自动认证。 Zbl 1108.68374号
伦纳特·贝林格;马丁·霍夫曼;阿尔贝托·莫米利亚诺;奥哈·什卡拉夫斯卡
9
2005
定量模型和隐含复杂性。 兹比尔1172.68477
乌戈·达尔拉戈;马丁·霍夫曼
8
2005
一种用于非增倍多项式时间计算的算法。 Zbl 1064.03036号
克劳斯·埃利格;乌尔里希·伯杰;马丁·霍夫曼;赫尔穆特·施维赫滕贝格
8
2004
类BLL语言的可实现性模型。 Zbl 1047.03049号
M.霍夫曼。;P.J.斯科特。
8
2004
实数计算的区间模型的非连续性。 Zbl 1067.68070号
马丁·埃斯卡多;马丁·霍夫曼;托马斯·斯特里彻
7
2004
用于资源验证的程序逻辑。 Zbl 1099.68584号
大卫·阿斯皮纳尔;伦纳特·贝林格;马丁·霍夫曼;汉斯·沃夫冈·洛伊德;阿尔贝托·莫米利亚诺
2
2004
一阶函数程序堆空间使用的静态预测。 Zbl 1321.68180号
马丁·霍夫曼;斯特芬·乔斯特
39
2003
线性类型和非增倍多项式时间计算。 Zbl 1054.68065号
马丁·霍夫曼
31
2003
非尺寸递增计算的强度。 Zbl 1323.68213号
马丁·霍夫曼
10
2002
一种新的“可行”算法。 Zbl 1006.03035号
斯蒂芬·贝兰托尼;马丁·霍夫曼
8
2002
(lambda_\mu)-演算连续模型的完备性。 兹伯利1096.03011
马丁·霍夫曼;托马斯·斯特里彻
7
2002
具有更高类型和BCK-代数的安全递归。 Zbl 0959.68075号
马丁·霍夫曼
22
2000
用于有界空间和函数就地更新的类型系统。 Zbl 0971.68023号
马丁·霍夫曼
6
2000
用于有界空间和函数就地更新的类型系统。(扩展摘要)。 Zbl 0964.68027号
马丁·霍夫曼
5
2000
在高阶逻辑定理证明器中实现对象的程序逻辑。 Zbl 0974.68185号
马丁·霍夫曼;唐,弗朗西斯
2
2000
一种建立经典系统在其直觉版本上保守性的新方法。 Zbl 0935.03069号
可口、蒂埃里;马丁·霍夫曼
13
1999
线性/模态lambda演算的语义。 Zbl 0965.68011号
马丁·霍夫曼
2
1999
类型理论的群系解释。 Zbl 0930.03089号
马丁·霍夫曼;托马斯·斯特里彻
65
1998
混合模式/线性lambda演算及其在Bellantoni-Cook安全递归中的应用。 Zbl 0908.03022号
马丁·霍夫曼
13
1998
依赖类型的语法和语义。 Zbl 0919.68083号
马丁·霍夫曼
55
1997
内涵类型理论中的外延结构。 Zbl 1411.03001号
马丁·霍夫曼
16
1997
类别理论语义在使用高阶函数代数表征复杂性类中的应用。 Zbl 0931.03058号
马丁·霍夫曼
2
1997
关于高阶逻辑中的行为抽象和行为满足。 Zbl 0874.68196号
马丁·霍夫曼;唐纳德·桑内拉
12
1996
内涵型理论中等式反射的保守性。 Zbl 1434.03038号
马丁·霍夫曼
7
1996
阳性子类型。 Zbl 0853.68125号
马丁·霍夫曼;本杰明·皮尔斯。
5
1996
关于局部笛卡尔闭范畴中类型理论的解释。 Zbl 1044.03544号
马丁·霍夫曼
31
1995
无还原标准化证明。 Zbl 1502.03019号
托尔斯滕·阿滕柯奇;马丁·霍夫曼;托马斯·斯特里彻
10
1995
调用值控制操作符的完善公理化。 Zbl 0846.68066号
马丁·霍夫曼
9
1995
商类型的简单模型。 Zbl 1063.68602号
马丁·霍夫曼
4
1995
关于高阶逻辑中的行为抽象和行为满足。 Zbl 1496.68190号
马丁·霍夫曼;唐纳德·桑内拉
1
1995
全部的 前5名

575位作者引用

22 马丁·霍夫曼
15 乌戈·达尔拉戈
11 帕特里克·贝洛特
10 可口、蒂埃里
8 艾尔维拉·阿尔伯特
8 埃里克·帕尔姆格伦
7 托尔斯滕·阿滕柯奇
7 彼得·戴比杰
7 罗尔夫·亨尼克
7 克里斯蒂安·萨特勒
6 史蒂夫·阿沃迪
6 伦纳特·贝林格
6 Lars Birkedal公司
6 Hötzel Escardó,马汀
6 彼得·勒法努·卢姆斯代恩
6 安德鲁·皮特斯(Andrew M.Pitts)。
5 杰里米·阿维加德
5 米歇尔·比多瓦
5 萨米尔·根奈姆
5 乔治·莫瑟
5 托马斯·斯特里彻
5 张瑜
4 阿伦斯,贝内迪克特
4 乌尔里希·伯杰
4 默多克·詹姆斯·加贝
4 尼古拉·甘比诺
4 理查德·加纳
4 西蒙·胡贝尔
4 丹尼尔·李卡塔(Daniel R.Licata)。
4 Moerdijk,比如
4 伊恩·奥尔顿
4 里卡多·佩纳
4 碧姬·品特卡
4 德国普埃布拉
4 赫尔穆特·施维赫滕贝格
4 溅出物,Bas
4 本诺·范登伯格
4 沃伦、迈克尔·奥尔顿
4 弗洛里安·祖勒格
纪尧姆·阿拉伊斯
阿尔维斯,桑德拉
卡洛·安吉利
普里阿雷纳斯
泽纳·M·阿里奥拉。
大卫·阿斯皮纳尔
亚瑟·查古埃罗
乌戈·德利古罗
雅各布·埃梅内格
马里奥弗洛里多
尼尔·加尼
亚历克西斯·盖塞伦
吉尔根·吉斯尔
丹尼尔·格拉泽
雷纳·哈内尔
伊曼纽尔·海因里
罗伯特·哈珀
雨果·赫贝林
詹·菲利普·霍夫曼
彼得·霍夫斯特拉(Pieter J.W.Hofstra)。
吉勒姆·贾伯
安布罗斯·卡波西
安斯滕·默奇·克莱夫
洛伦兹·勒特盖布
伊恩·麦基
马西亚尔·罗梅罗、何塞·雷蒙多
达米亚诺·马扎
康诺·托马斯·麦克布莱德
詹姆斯·麦金纳
莫格尔贝里,拉斯穆斯·埃杰勒斯
黑山,曼努埃尔
托比亚斯·尼普科
大卫·E·诺瓦克。
罗曼·佩乔
戈登·普洛金(Gordon D.Plotkin)。
布莱恩·雷德蒙德(Brian F.Redmond)。
朱塞佩·罗索里尼
唐纳德·桑内拉。
乌尔里希·舍普
克拉拉塞古拉
赫尔穆特·塞德尔
托马斯·施图德
尼古拉斯·塔巴鲁
安德烈·塔莱基
上村,太极
塔尔莫乌斯塔卢
范德维德,尼尔斯
尼科洛Veltri
弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich)
拉尔夫·福格勒
马丁·威尔辛
2 安德烈亚斯·阿贝尔(Andreas M.Abel)。
2 法利斯·阿布·萨利赫
2 萨姆森·艾布拉姆斯基
2 贝尼亚米·阿卡托利
2 丹尼尔·艾哈曼
2 罗马斯·阿隆德里斯
2 罗伯特·艾奇
2 克莱门·奥伯特
2 马丁·阿文齐尼
2 佛朗哥·巴巴内拉
…还有475名作者
全部的 前5名

52连载

49 理论计算机科学
30 MSCS公司。计算机科学中的数学结构
23 纯逻辑与应用逻辑年鉴
22 信息与计算
17 函数编程杂志
16 计算机科学中的逻辑方法
14 自动推理杂志
8 符号逻辑杂志
5 纯粹与应用代数杂志
5 数学逻辑档案
5 逻辑与代数程序设计杂志
5 ACM计算逻辑事务
4 符号逻辑公报
4 应用逻辑杂志
4 程序设计中的逻辑和代数方法杂志
逻辑研究
计算的形式方面
Indagationes Mathematicae公司。新系列
系统设计中的形式化方法
范畴的理论与应用
计算系统理论
高阶和符号计算
2 合成
2 计算机程序设计科学
2 逻辑程序设计理论与实践
2 计算机语言、系统和结构
1 信息处理信件
1 剑桥哲学学会数学进展杂志
1 《伦敦数学学会通报》
1 数学出版物
1 伦敦数学学会杂志。第二系列
1 数学年刊
1 密码学杂志
1 数学论坛
1 美国数学学会公报。新系列
1 Anale tiințifice ale University \539'ii Al.I.Cuza din IașI。努瓦里。Matematic™(马特马蒂)
1 图卢兹科学学院年鉴。数学题。塞里六世
1 数学逻辑季刊(MLQ)
1 托波伊
1 欧洲数学学会杂志(JEMS)
1 RAIRO公司。理论信息学及其应用
1 并行与计算:实践与经验
1 逻辑与逻辑哲学
1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司
1 地中海数学杂志
1 Oberwolfach报告
1 泛逻辑
1 同伦及相关结构杂志
1 离散数学、算法和应用
1 数学论坛,西格玛
1 范畴和一般代数结构及其应用
1 高层建筑

按年份列出的引文

数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.