马丁·霍泽尔·埃斯卡多
人员信息
附属: 英国伯明翰大学
优化列表
2020年–今天
2024 【i15】 伊戈尔·阿列塔 , 马丁·霍泽尔·埃斯卡多 , 艾伯克·托森 :
单价基础中的补丁拓扑。 CoRR公司 abs/2402.03134 ( 2024 ) [第14条] 汤姆·德容 , 马丁·霍泽尔·埃斯卡多 :
单价基础中的域理论II:连续域和代数域。 CoRR公司 abs/2407.06956 ( 2024 ) 2023 [公元32年] 汤姆·德容 , 马丁·霍泽尔·埃斯卡多 :
论单价基础中的小型基础。 日志。 方法计算。 科学。 19 ( 2 ) ( 2023 ) [公元31年] 马丁·埃斯卡多 , 保罗·奥利瓦 :
具有依赖类型的高阶游戏。 西奥。 计算。 科学。 974 : 114111 ( 2023 ) [公元38年] 艾伯克·托森 , 马丁·霍泽尔·埃斯卡多 :
单叶型理论中谱区域的斑块区域。 MFPS公司 2023 [i13] 马丁·埃斯卡多 :
克雷塞尔对戈德尔系统T的集合理论模型的完全抽象的反例。 CoRR公司 abs/2303.11075 ( 2023 ) 2022 [公元37年] 马克·贝泽姆 , 蒂埃里·科昆 , 彼得·戴比杰 , 马丁·埃斯卡多 :
显式宇宙多态的类型理论。 类型 2022 : 13:1-13:16 [i12] 马克·贝泽姆 , 蒂埃里·科昆 , 彼得·戴比杰 , 马丁·埃斯卡多 :
具有宇宙级判断的类型理论。 CoRR公司 abs/2212.03284 ( 2022 ) [i11] 马丁·埃斯卡多 , 保罗·奥利瓦 :
具有依赖类型的高阶游戏。 CoRR公司 abs/2212.07735 ( 2022 ) 2021 【j30】 马丁·霍泽尔·埃斯卡多 :
单叶数学中的注入型。 数学。 结构。 计算。 科学。 31 ( 1 ) : 89-111 ( 2021 ) [公元29年] 马克·贝泽姆 , 蒂埃里·科昆 , 彼得·戴比杰 , 马丁·埃斯卡多 :
关于广义代数理论和具有族的范畴。 数学。 结构。 计算。 科学。 31 ( 9 ) : 1006-1023 ( 2021 ) [公元36年] 汤姆·德容 , 马丁·霍泽尔·埃斯卡多 :
建构和谓词单价基础中的领域理论。 CSL公司 2021 : 28:1-28:18 [公元35年] 汤姆·德容 , 马丁·霍泽尔·埃斯卡多 :
单叶基序理论的预测方面。 金融稳定与发展部 2021 : 8:1-8:18 [i10] 汤姆·德容 , 马丁·霍泽尔·埃斯卡多 :
单叶基序理论的预测方面。 CoRR公司 abs/2102.08812 ( 2021 ) [第九章] 汤姆·德容 , 马丁·霍泽尔·埃斯卡多 :
单价基础中的尺寸问题。 CoRR公司 abs/2111.00482 ( 2021 ) 2020 [i8] 汤姆·德容 , 马丁·霍泽尔·埃斯卡多 :
建构和谓词单叶基础中的领域理论。 CoRR公司 abs/2008.01422 ( 2020 ) [i7] 马克·贝泽姆 , 蒂埃里·科昆 , 彼得·戴比杰 , 马丁·埃斯卡多 :
关于广义代数理论和带族范畴的注记。 CoRR公司 abs/2012.08370 ( 2020 )
2010 – 2019
2019 [i6] 马丁·霍泽尔·埃斯卡多 :
Agda数学单价基础入门。 CoRR公司 abs/1911.00580 ( 2019 ) 2018 [i5] 安德烈·鲍尔 , 马丁·霍泽尔·埃斯卡多 , 彼得·勒法努·卢姆斯代恩 , 阿西亚·马布比 :
类型理论中的数学形式化(Dagstuhl研讨会,18341年)。 达格斯图尔报告 8 ( 8 ) : 130-155 ( 2018 ) 2017 [公元28年] 尼古拉·克劳斯 , 马丁·埃斯卡多 , 蒂埃里·科昆 , 托尔斯滕·阿滕柯奇 :
马丁·洛夫类型理论中的匿名存在概念。 日志。 方法计算。 科学。 13 ( 1 ) ( 2017 ) [公元27年] 马丁·埃斯卡多 , 保罗·奥利瓦 :
Herbrand对双重否定移位的功能解释。 J.塞姆。 日志。 82 ( 2 ) : 590-607 ( 2017 ) [公元34年] 马丁·霍泽尔·埃斯卡多 , 科里·克纳普 :
单叶类型理论中的部分元素和优势递归。 CSL公司 2017 : 21:1-21:16 [i4] 奥克·巴特·布伊吉 , 马丁·霍泽尔·埃斯卡多 , 彼得·勒法努·卢姆斯代恩 , 迈克尔·舒尔曼 :
参数性、宇宙自同构和排除中间。 CoRR公司 abs/1701.05617 ( 2017 ) 2016 [公元26年] 马丁·埃斯卡多 , 许创杰 :
Kleene-Kreisel连续泛函的构造性表现。 Ann.纯粹应用。 日志。 167 ( 9 ) : 770-793 ( 2016 ) [公元25年] 马丁·霍泽尔·埃斯卡多 , 托马斯·斯特里彻 :
Martin-Löf宇宙的内在拓扑。 Ann.纯粹应用。 日志。 167 ( 9 ) : 794-805 ( 2016 ) [公元33年] 奥克·巴特·布伊吉 , 马丁·霍泽尔·埃斯卡多 , 彼得·勒法努·卢姆斯代恩 , 迈克尔·舒尔曼 :
参数性、宇宙自同构和排除中间。 类型 2016 : 7:1-7:14 2015 [公元24年] 乌尔里希·伯杰 , 延斯·布兰克 , 马丁·埃斯卡多 , 克劳斯·凯梅尔 :
前言。 J.日志。 代数方法课程。 84 ( 1 ) : 107 ( 2015 ) [公元23年] 马丁·埃斯卡多 , 保罗·奥利瓦 :
条形递归和选择函数的乘积。 J.塞姆。 日志。 80 ( 1 ) : 1-28 ( 2015 ) [公元22年] 马丁·埃斯卡多 :
经典连续性的构造可判定性。 数学。 结构。 计算。 科学。 25 ( 7 ) : 1578-1589 ( 2015 ) [公元32年] 马丁·霍泽尔·埃斯卡多 , 许创杰 :
Brouwerian连续性原则与Curry-Howard解释的不一致性。 薄层色谱分析 2015 : 153-164 2014 [公元31年] 马丁·霍泽尔·埃斯卡多 , 亚历克斯·辛普森 :
类型理论中实数的抽象数据类型。 RTA-薄层色谱分析 2014 : 208-223 [i3] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
条形递归和选择函数的乘积。 CoRR公司 abs/1407.7046 ( 2014 ) [i2] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
Herbrand对双重否定移位的功能解释。 CoRR公司 abs/1410.4353 ( 2014 ) 2013 [公元21年] 马丁·埃斯卡多 :
在任何种类的构造数学中满足全知原则的无限集。 J.塞姆。 日志。 78 ( 三 ) : 764-784 ( 2013 ) [j20] 马丁·霍泽尔·埃斯卡多 :
高等类型方程的算法解。 J.日志。 计算。 23 ( 4 ) : 839-854 ( 2013 ) [c30] 尼古拉·克劳斯 , 马丁·霍泽尔·埃斯卡多 , 蒂埃里·科昆 , 托尔斯滕·阿滕柯奇 :
Hedberg定理的推广。 薄层色谱分析 2013 : 173-188 [公元29年] 许创杰 , 马丁·霍泽尔·埃斯卡多 :
一致连续的构造模型。 薄层色谱分析 2013 : 236-249 [公元28年] 马丁·霍泽尔·埃斯卡多 :
通过有效强制实现哥德尔系统T可定义功能的连续性。 MFPS公司 2013 : 119-141 2012 [公元19年] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
皮尔士译本。 Ann.纯粹应用。 日志。 163 ( 6 ) : 681-692 ( 2012 ) [c27] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
无界博弈的纳什均衡计算。 图灵-100 2012 : 53-65 2011 [公元26年] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 , 唐博伟 :
系统T和选择函数的乘积。 CSL公司 2011 : 233-247 2010 [公元18年] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
选择函数、条递归和反向归纳。 数学。 结构。 计算。 科学。 20 ( 2 ) : 127-168 ( 2010 ) [公元25年] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
通过选择函数乘积进行分析的计算解释。 CiE公司 2010 : 141-150 [公元24年] 马丁·霍泽尔·埃斯卡多 , 保罗·奥利瓦 :
皮尔斯翻译与双重否定转换。 CiE公司 2010 : 151-161 【c23】 马丁·埃斯卡多 , 保罗·奥利瓦 :
序列博弈、季克诺夫定理和双负移位有什么共同点。 MSFP@ICFP 2010 : 21-32
2000 – 2009
2009 [公元17年] 马丁·霍泽尔·埃斯卡多 , 翁建豪 :
顺序编程语言的操作域理论和拓扑结构。 Inf.计算。 207 ( 三 ) : 411-437 ( 2009 ) [公元22年] 马丁·霍泽尔·埃斯卡多 :
高级计算理论与实践(教程)。 CCA公司 2009 【c21】 马丁·霍泽尔·埃斯卡多 :
高阶方程连续解的可计算性。 CiE公司 2009 : 188-197 [公元20年] 马丁·霍泽尔·埃斯卡多 :
在较高类型设置中进行五月、必须和概率测试的半决定性。 MFPS公司 2009 : 219-242 2008 [公元16年] 马丁·霍泽尔·埃斯卡多 :
高级计算中的穷举集。 日志。 方法计算。 科学。 4 ( 三 ) ( 2008 ) [i1] 马丁·霍泽尔·埃斯卡多 :
高级计算中的穷举集。 CoRR公司 abs/0808.0441 ( 2008 ) 2007 [公元15年] 马丁·霍泽尔·埃斯卡多 , 阿希姆·荣格 , 托马斯·斯特里彻 :
前言。 数学。 结构。 计算。 科学。 17 ( 5 ) : 839-839 ( 2007 ) [公元14年] 何塞·雷蒙多·马西亚尔·罗梅罗 , 马丁·霍泽尔·埃斯卡多 :
用于精确实数计算的序列语言的语义。 西奥。 计算。 科学。 379 ( 1-2 ) : 120-141 ( 2007 ) [第19条] 马丁·霍泽尔·埃斯卡多 :
允许快速穷举搜索的无限集合。 低收入国家 2007 : 443-452 2006 [j13] 马丁·霍泽尔·埃斯卡多 :
紧凑生成的Hausdorff语言环境。 Ann.纯粹应用。 日志。 137 ( 1-3 ) : 147-163 ( 2006 ) [公元12年] 马丁·霍泽尔·埃斯卡多 , 阿希姆·荣格 , 托马斯·斯特里彻 :
前言。 数学。 结构。 计算。 科学。 16 ( 2 ) : 139-140 ( 2006 ) [公元11年] 弗雷德里克·德·杰格(Frédéric De Jaeger) , 马丁·霍泽尔·埃斯卡多 , 加布里埃尔·桑蒂尼 :
关于Lawson拓扑的计算内容。 西奥。 计算。 科学。 357 ( 1-3 ) : 230-240 ( 2006 ) [第18条] 本·科恩 , 马丁·霍泽尔·埃斯卡多 , 克劳斯·凯梅尔 :
稳定紧空间上的扩展概率幂域单子。 TAMC公司 2006 : 566-575 [电子2] 马丁·霍泽尔·埃斯卡多 , 阿希姆·荣格 , 迈克尔·米斯洛夫 :
《第21届编程语义数学基础年会论文集》,MFPS 2005,英国伯明翰,2005年5月18日至21日。 理论计算机科学电子笔记 155, 爱思维尔 2006 [目录] 2005 [公元10年] 诺伯特·米勒 , 马丁·霍泽尔·埃斯卡多 , 保罗·齐默尔曼 :
客座编辑介绍:关于精确实数计算实际发展的专刊。 J.日志。 代数方法课程。 64 ( 1 ) : 1-2 ( 2005 ) [c17] 马丁·霍泽尔·埃斯卡多 :
拓扑和计算的紧凑性。 CCA公司 2005 : 379 [第16条] 马丁·霍泽尔·埃斯卡多 , 翁建豪 :
顺序程序设计语言的操作域理论和拓扑。 低收入国家 2005 : 427-436 [第15条] 马丁·霍泽尔·埃斯卡多 , 阿希姆·荣格 , 迈克尔·米斯洛夫 :
前言。 MFPS公司 2005 : 1-3 2004 [公元9年] 马丁·霍泽尔·埃斯卡多 , 马丁·霍夫曼 , 托马斯·斯特里彻 :
实数计算的区间模型的非连续性。 数学。 结构。 计算。 科学。 14 ( 6 ) : 803-814 ( 2004 ) [j8] 拉尔斯·比克达尔 , 马丁·霍泽尔·埃斯卡多 , 阿希姆·荣格 , 朱塞佩·罗索里尼 :
前言:领域理论的最新发展:纪念达纳·S·斯科特的论文集。 西奥。 计算。 科学。 316 ( 1 ) : 1-2 ( 2004 ) [第14条] 何塞·雷蒙多·马西亚尔·罗梅罗 , 马丁·霍泽尔·埃斯卡多 :
用于精确实数计算的序列语言的语义。 低收入国家 2004 : 426-435 [电子1] 马丁·埃斯卡多 , 阿希姆·荣格 :
2002年9月16日至19日,英国伯明翰,2002年第六届域名研讨会会议记录。 理论计算机科学电子笔记 73, 爱思维尔 2004 [目录] 2003 [j7] 马丁·霍泽尔·埃斯卡多 :
在Nuclei框架中连接。 申请。 分类结构。 11 ( 2 ) : 117-124 ( 2003 ) [j6] 杰里·阿达梅克 , 马丁·霍泽尔·埃斯卡多 , 马丁·霍夫曼 :
前言。 西奥。 计算。 科学。 294 ( 1/2 ) : 1 ( 2003 ) [第13条] 马丁·霍泽尔·埃斯卡多 :
合成拓扑:数据类型和经典空间。 DTMPP公司 2003 : 21-156 2002 [j5] 马丁·霍泽尔·埃斯卡多 , 托马斯·斯特里彻 :
在域可实现性中,并非所有函数都位于 C类 [-1,1]是连续的。 数学。 日志。 问:。 48 ( S1(第一阶段) ) : 41-44 ( 2002 ) [第12条] 安德烈·鲍尔 , 马丁·霍泽尔·埃斯卡多 , 亚历克斯·K·辛普森 :
比较精确实数计算的函数范式。 ICALP公司 2002 : 488-500 [第11条] 马丁·霍泽尔·埃斯卡多 , 阿希姆·荣格 :
前言。 域研讨会 2002 : 1-2 2001 [第10条] 马丁·霍泽尔·埃斯卡多 , 亚历克斯·K·辛普森 :
闭欧几里德区间的一个普遍刻画。 低收入国家 2001 : 115-125 2000 [j4] 阿巴斯·艾达拉特 , 马丁·霍泽尔·埃斯卡多 :
在Real PCF中集成。 Inf.计算。 160 ( 1-2 ) : 128-166 ( 2000 ) 【c9】 马丁·霍泽尔·埃斯卡多 :
通过连续格理论对拓扑函数空间进行Hausdorff紧化。 MFCSIT公司 2000 : 161
1990 – 1999
1999 [j3] 马丁·霍泽尔·埃斯卡多 , 托马斯·斯特里彻 :
部分实线上的归纳和递归及其在实PCF中的应用。 西奥。 计算。 科学。 210 ( 1 ) : 121-157 ( 1999 ) 【c8】 马丁·霍泽尔·埃斯卡多 :
关于稳定局部紧局部集的紧正则余射。 MFPS公司 1999 : 213-228 【c7】 马丁·霍泽尔·埃斯卡多 , 鲍勃·弗拉格 :
语义域、内射空间和单数。 MFPS公司 1999 : 229-244 1998 【c6】 达斯科·巴甫洛维奇 , 马丁·霍泽尔·埃斯卡多 :
共导形式的微积分。 低收入国家 1998 : 408-417 1997 【b1】 马丁·霍泽尔·埃斯卡多 :
用实数扩展的PCF:一种用于高阶精确实数计算的域理论方法。 英国伦敦帝国理工学院, 1997 【c5】 彼得·约翰·波茨 , 阿巴斯·艾达拉特 , 马丁·霍泽尔·埃斯卡多 :
精确实数运算的语义。 低收入国家 1997 : 248-257 【c4】 马丁·霍泽尔·埃斯卡多 , 托马斯·斯特里彻 :
通过双自由代数的双商在部分实线上的归纳和递归。 低收入国家 1997 : 376-386 【c3】 马丁·霍泽尔·埃斯卡多 :
通过实数上的事例通过无限个有符号数字进行有效且连续的定义。 康布罗克斯 1997 : 53-68 1996 [注2] 马丁·霍泽尔·埃斯卡多 :
用实数扩展的PCF。 西奥。 计算。 科学。 162 ( 1 ) : 79-115 ( 1996 ) [c2] 阿巴斯·艾达拉特 , 马丁·霍泽尔·埃斯卡多 :
在Real PCF中集成。 低收入国家 1996 : 382-393 1994 【c1】 马丁·霍泽尔·埃斯卡多 :
实线上的递归和归纳。 理论与形式方法 1994 : 259-282 1993 [j1] 马丁·霍泽尔·埃斯卡多 :
关于惰性自然数及其在可计算性理论和函数编程中的应用。 SIGACT新闻 24 ( 1 ) : 61-67 ( 1993 )