马丁·海兰德
人员信息
附属: 英国剑桥大学
优化列表
2020年–今天
2024 [i1] M.菲奥雷 , 尼古拉·甘比诺 , 马丁·海兰德 :
单体双范畴、微分线性逻辑和解析函子。 CoRR公司 abs/2405.05774 ( 2024 ) 2020 [公元27年] 马丁·海兰德 , 克里斯汀·塔森 :
线性非线性代换2-单子。 ACT公司 2020 : 215-229
2010 – 2019
2018 [公元26年] 奥罗尔·阿尔科莱 , 皮埃尔·克莱兰堡 , 马丁·海兰德 , 格林·温斯克 :
赫伯兰德定理的真正一致性。 CSL公司 2018 : 5:1-5:22 2017 [公元18年] 马丁·海兰德 , 盖伊·麦库斯克 , 尼科斯·齐夫列科斯 :
2013年GaLoP APAL特刊前言。 Ann.纯粹应用。 日志。 168 ( 2 ) : 233 ( 2017 ) [公元17年] J.M.E.海兰德 :
现代服装中的经典lambda演算。 数学。 结构。 计算。 科学。 27 ( 5 ) : 762-781 ( 2017 ) 2016 [第1页] J.M.E.海兰德 :
被遗忘的图灵。 曾经与未来图灵 2016 : 20-33 2014 [公元16年] 巴里·库珀 , 阿努杰·达瓦尔 , 马丁·海兰德 , 贝内迪克特·勒韦 :
图灵百年纪念大会:世界如何计算。 Ann.纯粹应用。 日志。 165 ( 9 ) : 1353-1354 ( 2014 ) [公元15年] J.M.E.海兰德 :
代数理论的基本要素。 西奥。 计算。 科学。 546 : 132-144 ( 2014 ) 2013 [公元25年] 马丁·海兰德 :
走向Lambda Monoid的概念。 WACT公司 2013 : 59-77 2012 [公元14年] 费尔南多·费雷拉 , 马丁·海兰德 , Benedikt Löwe公司 , 埃尔维拉·马约多莫 :
2010年欧洲的可计算性。 Ann.纯粹应用。 日志。 163 ( 6 ) : 621-622 ( 2012 ) 2011 [j13] 乔治·詹尼利泽 , 马丁·海兰德 , 约翰逊 , 彼得·约翰斯通 , 斯蒂芬·莱克 , 罗斯街 , 沃尔特·托伦 , 理查德·伍德 :
前言-纪念格雷戈里·麦克斯韦-凯利教授的特别专刊。 申请。 分类结构。 19 ( 1 ) : 1-7 ( 2011 ) 2010 [公元12年] 马丁·海兰德 :
推广领域理论的一些原因。 数学。 结构。 计算。 科学。 20 ( 2 ) : 239-265 ( 2010 )
2000 – 2009
2007 [公元11年] 马丁·海兰德 , 保罗·布莱恩·利维 , 戈登·普洛金 , 约翰·鲍尔 :
将代数效应与延续相结合。 西奥。 计算。 科学。 375 ( 1-3 ) : 20-40 ( 2007 ) [公元24年] 马丁·格罗 , 马丁·海兰德 , 约翰·马科斯基 , 达米安·尼文斯基 :
2007年阿克曼奖。 CSL公司 2007 : 589-597 【c23】 罗素·哈默 , 马丁·海兰德 , 保罗·安德烈·梅利埃 :
天真策略的分类组合学。 低收入国家 2007 : 379-388 [公元22年] 马丁·海兰德 , 约翰·鲍尔 :
泛代数的范畴理论理解:劳弗尔理论和单数。 计算、意义和逻辑 2007 : 437-458 2006 [公元10年] 马丁·海兰德 , 戈登·普洛金 , 约翰·鲍尔 :
组合效果:总和和张量。 西奥。 计算。 科学。 357 ( 1-3 ) : 70-99 ( 2006 ) [公元9年] 吉安路易吉·贝林 , 马丁·海兰德 , 埃德蒙·罗宾逊 , 克里斯蒂安·厄本 :
经典命题演算的范畴证明理论。 西奥。 计算。 科学。 364 ( 2 ) : 146-165 ( 2006 ) [j8] 马丁·海兰德 , 约翰·鲍尔 :
离散Lawvere理论和计算效果。 西奥。 计算。 科学。 366 ( 1-2 ) : 144-162 ( 2006 ) 2004 【c21】 马丁·海兰德 :
证明的抽象解释:经典命题演算。 CSL公司 2004 : 6-21 [公元20年] 马丁·海兰德 , Misao Nagayama公司 , 约翰·鲍尔 , 朱塞佩·罗索里尼 :
无类型lambda的Engler-style模型的范畴理论公式。 MFCSIT公司 2004 : 43-57 2003 [j7] 尼克·本顿 , 马丁·海兰德 :
追踪前单体分类。 RAIRO提奥。 信息学应用。 37 ( 4 ) : 273-299 ( 2003 ) [j6] 马丁·海兰德 , 安德烈亚·沙尔克 :
线性逻辑模型的粘合和正交性。 西奥。 计算。 科学。 294 ( 1/2 ) : 183-231 ( 2003 ) [第19条] 尤金妮娅·程 , 马丁·海兰德 , 约翰·鲍尔 :
伪分布定律。 MFPS公司 2003 : 227-245 [第18条] 尼古拉·甘比诺 , 马丁·海兰德 :
基础良好的树和从属多项式函数。 类型 2003 : 210-225 [第17条] 马丁·海兰德 , 约翰·鲍尔 :
对称单面草图和布线类别。 CMCIM公司/ GETCO@CONCUR公司 2003 : 31-46 2002 [j5] J.M.E.海兰德 :
抽象的证明理论。 Ann.纯粹应用。 日志。 114 ( 1-3 ) : 43-78 ( 2002 ) 【j4】 J.M.E.海兰德 :
可实现性的变化:实现选择的命题公理。 数学。 结构。 计算。 科学。 12 ( 三 ) : 295-317 ( 2002 ) [第16条] 克劳迪娅·法根 , 马丁·海兰德 :
设计、争议和策略。 CSL公司 2002 : 442-457 [第15条] 尼克·本顿 , 马丁·海兰德 :
追踪前单体分类。 菲莎国际学院 2002 : 12-19 [第14条] 马丁·海兰德 , 戈登·普洛金 , 约翰·鲍尔 :
组合计算效果:可交换性和和。 IFIP TCS 2002 : 474-484 [第13条] 马丁·海兰德 , 安德烈亚·沙尔克 :
图上的游戏和顺序可实现函数。 低收入国家 2002 : 257-264 2001 [第12条] 马丁·海兰德 , 约翰·鲍尔 :
伪交换单数。 MFPS公司 2001 : 197-208 [第11条] 马丁·海兰德 , 约翰·鲍尔 :
二维线性代数。 羧甲基纤维素 2001 : 227-240 2000 [j3] J.M.E.海兰德 , C.-H.卢克·翁 :
关于PCF的完全抽象:I、II和III。 Inf.计算。 163 ( 2 ) : 285-408 ( 2000 ) [第10条] 马丁·海兰德 , 约翰·鲍尔 :
对称单线图。 PPDP(PPDP) 2000 : 280-288
1990 – 1999
1999 【c9】 马丁·海兰德 :
可实现性的变化:实现选择公理的简单示例。 可实现性语义和 应用@FLoC 1999 : 166-188 【c8】 马丁·海兰德 , 安德烈亚·沙尔克 :
线性逻辑抽象游戏。 CTCS公司 1999 : 127-150 1995 【c7】 J.M.E.海兰德 , 尤金尼奥·莫吉 :
S-Replete构造。 范畴理论与计算机科学 1995 : 96-116 【c6】 J.M.E.海兰德 , C.-H.卢克·翁 :
Pi-Calculus、对话游戏和PCF。 FPCA公司 1995 : 96-107 1993 [注2] 马丁·海兰德 , 瓦莱丽亚·德佩瓦 :
完全直觉线性逻辑(扩展抽象)。 Ann.纯粹应用。 日志。 64 ( 三 ) : 273-291 ( 1993 ) [c5] P.N.本顿 , 加文·M·比尔曼 , 瓦莱丽亚·德佩瓦 , 马丁·海兰德 :
直觉主义线性逻辑的术语微积分。 薄层色谱分析 1993 : 75-90 【c4】 J.M.E.海兰德 , C.-H.卢克·翁 :
改进的可实现性拓扑和强规范化证明。 薄层色谱分析 1993 : 179-194 1992 【c3】 P.N.本顿 , 加文·M·比尔曼 , 瓦莱丽亚·德佩瓦 , 马丁·海兰德 :
线性Lambda-演算和分类模型重温。 CSL公司 1992 : 61-84
1980 – 1989
1989 【c2】 J.M.E.海兰德 , 埃德蒙·罗宾逊 , 朱塞佩·罗索里尼 :
PER模型中的代数类型。 编程语义的数学基础 1989 : 333-350 1988 [j1] J.M.E.海兰德 :
一个完整的小类别。 Ann.纯粹应用。 日志。 40 ( 2 ) : 135-165 ( 1988 )
1970 – 1979
1975 【c1】 J.M.E.海兰德 :
关于lambda演算中一些有用的偏序关系的综述。 兰巴达微积分与计算机科学理论 1975 : 83-95