托马斯·埃尔哈德
人员信息
其他同名人员
优化列表
2020年-今天
2024 【i21】 托马斯·埃尔哈德 :
从微分线性逻辑到相干微分。 CoRR公司 abs/2401.14834 ( 2024 ) 2023 【j30】 托马斯·埃尔哈德 :
相干差分PCF。 日志。 方法计算。 科学。 19 ( 4 ) ( 2023 ) [公元29年] 托马斯·埃尔哈德 :
相干分化。 数学。 结构。 计算。 科学。 33 ( 4-5 ) : 259至310 ( 2023 ) [公元39年] 托马斯·埃尔哈德 , 克劳迪娅·法吉安 , 米歇尔·帕加尼 :
定量乘法线性逻辑的和积算法。 金融稳定与发展部 2023 : 8:1-8:18 [公元38年] 托马斯·埃尔哈德 , 艾默尔·沃尔奇 :
笛卡尔相干微分范畴。 许可证 2023 : 1月13日 [i20] 托马斯·埃尔哈德 , 艾默尔·沃尔奇 :
笛卡尔相干微分范畴。 CoRR公司 abs/2303.06952 ( 2023 ) [i19] 托马斯·埃尔哈德 , 艾默尔·沃尔奇 :
相干泰勒展开作为双声子。 CoRR公司 绝对值/230.01907 ( 2023 ) 2022 [公元28年] 托马斯·埃尔哈德 :
概率相干空间中的微分和距离。 日志。 方法计算。 科学。 18 ( 三 ) ( 2022 ) [i18] 托马斯·埃尔哈德 :
相干差分PCF。 CoRR公司 abs/2205.04109 ( 2022 ) [i17] 托马斯·埃尔哈德 , 纪尧姆·杰夫罗伊 :
圆锥中的集成。 CoRR公司 abs/2212.02371 ( 2022 ) 2021 [公元37年] 托马斯·埃尔哈德 , 法扎德·贾法拉赫马尼 :
具有公式不动点的线性逻辑的分类模型。 许可证 2021 : 1月13日 [i16] 托马斯·埃尔哈德 :
相干分化。 CoRR公司 abs/2107.05261 ( 2021 ) 2020 [公元27年] 托马斯·埃尔哈德 , 让·克里文 , 盈江 :
分支过程的微积分。 西奥。 计算。 科学。 807 : 169-184 ( 2020 ) [公元36年] 托马斯·埃尔哈德 :
逻辑形式的非独立交集类型。 FoSSaCS公司 2020 : 198-216 [公元35年] 托马斯·埃尔哈德 :
圆锥作为直觉主义线性逻辑的模型。 许可证 2020 : 370-383 【i15】 托马斯·埃尔哈德 :
关于圆锥的线性结构。 CoRR公司 abs/2001.04284 ( 2020 ) [第14条] 托马斯·埃尔哈德 :
概率相干空间中的微分和距离(扩展版)。 CoRR公司 abs/2005.12582 ( 2020 ) [i13] 托马斯·埃尔哈德 :
概率相干空间中收敛的上近似概率。 CoRR公司 abs/2008.04534 ( 2020 ) [i12] 托马斯·埃尔哈德 , 法扎德·贾法拉赫马尼 :
具有公式不动点的线性逻辑的范畴模型。 CoRR公司 abs/2011.10209 ( 2020 )
2010 – 2019
2019 [公元26年] 盈江 , 刘世超 , 托马斯·埃尔哈德 :
树的值传递CCS的完全抽象语义。 前沿计算。 科学。 13 ( 4 ) : 828-849 ( 2019 ) [公元25年] 托马斯·埃尔哈德 , 克里斯汀·塔森 :
按推送值进行概率调用。 日志。 方法计算。 科学。 15 ( 1 ) ( 2019 ) [公元34年] 托马斯·埃尔哈德 :
概率相干空间中的微分和距离。 金融稳定与发展部 2019 : 17:1-17:17 [电子1] 托马斯·埃尔哈德 , 玛丽贝尔·费尔南德斯 , 瓦莱丽亚·德佩瓦 , 洛伦佐·托托拉·德·法尔科 :
线性与线性逻辑及应用趋势联合国际研讨会论文集, 线性-TLLA@FLoC 2018年7月7日至8日,英国牛津。 EPTCS公司 292, 2019 [目录] [i11] 托马斯·埃尔哈德 :
概率相干空间中的微分和距离。 CoRR公司 abs/1902.04836 ( 2019 ) [i10] 托马斯·埃尔哈德 , 法拉扎德·贾法尔·拉赫马尼 :
关于公式最小不动点和最大不动点线性逻辑的指称语义。 CoRR公司 abs/1906.05593 ( 2019 ) [第九章] 托马斯·埃尔哈德 :
逻辑形式的非独立交集类型。 CoRR公司 abs/1911.01899 ( 2019 ) 2018 [公元24年] 托马斯·埃尔哈德 , 米歇尔·帕加尼 , 克里斯汀·塔森 :
概率PCF的完全抽象。 美国临床医学杂志 65 ( 4 ) : 23:1-23:44 ( 2018 ) [公元23年] 托马斯·埃尔哈德 :
微分线性逻辑导论:证明网、模型和反导数。 数学。 结构。 计算。 科学。 28 ( 7 ) : 995-1060 ( 2018 ) [公元22年] 托马斯·埃尔哈德 , 米歇尔·帕加尼 , 克里斯汀·塔森 :
可测锥和稳定的可测函数:概率高阶规划模型。 程序。 ACM计划。 语言。 2 ( POPL公司 ) : 59:1-59:28 ( 2018 ) 2017 [公元33年] 皮埃尔·布蒂利埃 , 托马斯·埃尔哈德 , 让·克里文 :
图形重写的增量更新。 员工持股计划 2017 : 201-228 [公元32年] 拉斐尔·克鲁比莱 , 托马斯·埃尔哈德 , 米歇尔·帕加尼 , 克里斯汀·塔森 :
概率相干空间的自由指数模态。 FoSSaCS公司 2017 : 20-35 [i8] 托马斯·埃尔哈德 , 米歇尔·帕加尼 , 克里斯汀·塔森 :
可测圆锥和稳定可测函数。 CoRR公司 abs/1711.09640 ( 2017 ) 2016 [公元31年] 托马斯·埃尔哈德 :
从线性逻辑的观点来看,按需调用值。 员工持股计划 2016 : 202-228 [公元30年] 托马斯·埃尔哈德 , 朱利奥·格雷里 :
Bang Calculus:一种非类型化的lambda-Calculus,泛化了call-by-name和call-by-value。 PPDP(PPDP) 2016 : 174-187 [i7] 托马斯·埃尔哈德 :
微分线性逻辑导论:证明网、模型和反导数。 CoRR公司 腹肌/1606.01642 ( 2016 ) [i6] 刘世超 , 托马斯·埃尔哈德 , 盈江 :
树的值传递CCS的完全抽象语义。 CoRR公司 abs/1607.00141 ( 2016 ) [i5] 托马斯·埃尔哈德 , 克里斯汀·塔森 :
按推送值进行概率调用。 CoRR公司 abs/1607.04690 ( 2016 ) 2015 [i4] 托马斯·埃尔哈德 , 米歇尔·帕加尼 , 克里斯汀·塔森 :
概率PCF的完全抽象。 CoRR公司 abs/1511.01272 ( 2015 ) 2014 [公元29年] 托马斯·埃尔哈德 :
MLL证明网络的一个新的正确性准则。 CSL-LICS公司 2014 : 38:1-38:10 [公元28年] 托马斯·埃尔哈德 , 克里斯汀·塔森 , 米歇尔·帕加尼 :
概率相干空间对概率PCF是完全抽象的。 POPL公司 2014 : 309-320 2013 [i3] 托马斯·埃尔哈德 , 盈江 :
树木CCS。 CoRR公司 abs/1306.1714 ( 2013 ) 2012 [公元21年] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
函数设置中并行性和非确定性的关系语义。 Ann.纯粹应用。 日志。 163 ( 7 ) : 918-934 ( 2012 ) [公元20年] 安东尼奥·布恰雷利 , 阿尔贝托·卡拉罗 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
通过泰勒展开,对资源Lambda微积分进行全面抽象,并进行测试。 日志。 方法计算。 科学。 8 ( 4 ) ( 2012 ) [公元19年] 托马斯·埃尔哈德 :
线性逻辑的斯科特模型是其关系模型的扩展崩溃。 西奥。 计算。 科学。 424 : 20-45 ( 2012 ) [公元27年] 托马斯·埃尔哈德 :
折叠非幂等交集类型。 CSL公司 2012 : 259-273 [c26] 阿尔贝托·卡拉罗 , 托马斯·埃尔哈德 , 安东尼诺·萨利布拉 :
堆栈演算。 LSFA公司 2012 : 93-108 2011 [公元18年] 文森特·达诺斯 , 托马斯·埃尔哈德 :
概率相干空间作为高阶概率计算的模型。 Inf.计算。 209 ( 6 ) : 966-991年 ( 2011 ) [公元25年] 托马斯·埃尔哈德 :
资源Lambda-Calculus:差异观点。 CSL公司 2011 : 1 [公元24年] 安东尼奥·布恰雷利 , 阿尔贝托·卡拉罗 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
资源微积分的完整抽象与测试。 CSL公司 2011 : 97-111 【c23】 托马斯·埃尔哈德 , 米歇尔·帕加尼 , 克里斯汀·塔森 :
概率相干空间的计算意义。 许可证 2011 : 第87页至第96页 2010 [公元17年] 托马斯·埃尔哈德 , 奥利维耶·劳亨 :
非循环Solos和差分交互网。 日志。 方法计算。 科学。 6 ( 三 ) ( 2010 ) [公元16年] 托马斯·埃尔哈德 , 奥利维耶·劳亨 :
解释微分相互作用网中的有限像素。 Inf.计算。 208 ( 6 ) : 606-633 ( 2010 ) [公元22年] 阿尔贝托·卡拉罗 , 托马斯·埃尔哈德 , 安东尼诺·萨利布拉 :
具有无穷乘数的指数。 CSL公司 2010 : 170-184 【c21】 托马斯·埃尔哈德 :
资源项的有限结构。 许可证 2010 : 402-410 [公元20年] 阿尔贝托·卡拉罗 , 托马斯·埃尔哈德 , 安东尼诺·萨利布拉 :
资源组合代数。 MFCS公司 2010 : 233-245 [第19条] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
简单类型资源演算的分类模型。 MFPS公司 2010 : 213-230 [i2] 托马斯·埃尔哈德 :
资源项的有限性结构。 CoRR公司 abs/1001.3219 ( 2010 ) [i1] 理查德·布鲁特 , 托马斯·埃尔哈德 , 克里斯汀·塔森 :
方便的差异类别。 CoRR公司 abs/1006.3140 ( 2010 )
2000 – 2009
2009 [第18条] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
并行非确定性lambda-Calculus的关系模型。 LFCS公司 2009 : 107-121 [第17条] 安东尼奥·布恰雷利 , 阿尔贝托·卡拉罗 , 托马斯·埃尔哈德 , 安东尼诺·萨利布拉 :
线性信息系统。 线性 2009 : 38-48 2008 [公元15年] 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
均匀性和普通λ-项的泰勒展开。 西奥。 计算。 科学。 403 ( 2-3 ) : 347-372 ( 2008 ) [第16条] 托马斯·埃尔哈德 :
微分线性逻辑和过程。 IFIP TCS 2008 : 283 2007 [第15条] 托马斯·埃尔哈德 , 奥利维耶·劳亨 :
微分相互作用网中一个Finitary Pi-calculus的解释。 CONCUR公司 2007 : 333-348 [第14条] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 , 朱利奥·曼佐内托 :
分数不够就够了。 CSL公司 2007 : 298-312 2006 [公元14年] 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
差分相互作用网。 西奥。 计算。 科学。 364 ( 2 ) : 166-195 ( 2006 ) [第13条] 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
Böhm树、Krivine机器和Lambda-Terms的泰勒展开。 CiE公司 2006 : 186-197 2005 [j13] 托马斯·埃尔哈德 :
有限空间。 数学。 结构。 计算。 科学。 15 ( 4 ) : 615-646 ( 2005 ) 2004 [公元12年] 托马斯·埃尔哈德 :
对称乘积相空间的一个完备性定理。 J.塞姆。 日志。 69 ( 2 ) : 340-370 ( 2004 ) [c12] 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
差分相互作用网。 沃尔利克 2004 : 35-74 2003 [公元11年] 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
微分λ-微积分。 西奥。 计算。 科学。 309 ( 1-3 ) : 1-41 ( 2003 ) 2002 [公元10年] 托马斯·埃尔哈德 :
关于Köthe序列空间和线性逻辑。 数学。 结构。 计算。 科学。 12 ( 5 ) : 579-623 ( 2002 ) 2001 [公元9年] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
关于阶段语义和指称语义:指数。 Ann.纯粹应用。 日志。 109 ( 三 ) : 205-241 ( 2001 ) 2000 [j8] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
乘加线性逻辑中的相位语义和表示语义。 Ann.纯粹应用。 日志。 102 ( 三 ) : 247-282 ( 2000 ) [j7] 托马斯·埃尔哈德 :
并行和串行超相干。 西奥。 计算。 科学。 247 ( 1-2 ) : 39-81 ( 2000 )
1990 – 1999
1999 [j6] 托马斯·埃尔哈德 :
强稳定函数和一些推论的相对PCF-可定义性结果。 Inf.计算。 152 ( 1 ) : 111-137 ( 1999 ) [第11条] 努诺·巴雷罗 , 托马斯·埃尔哈德 :
重新审视定量语义学。 薄层色谱分析 1999 : 40-53 1998 [j5] 托马斯·埃尔哈德 , 伊夫·拉丰 , 劳伦特·雷格尼尔 :
前言。 数学。 结构。 计算。 科学。 8 ( 6 ) : 541 ( 1998 ) [第10条] 托马斯·埃尔哈德 :
强稳定函数和一些推论的相对PCF可定义性结果。 域研讨会 1998 : 64-83 1997 [c9] 帕特里克·贝洛特 , 文森特·达诺斯 , 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
永恒的游戏。 CSL公司 1997 : 56-77 【c8】 帕特里克·贝洛特 , 文森特·达诺斯 , 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
信不信由你,AJM的游戏模型是一个经典线性逻辑模型。 许可证 1997 : 68-75 1996 【j4】 托马斯·埃尔哈德 :
强稳定函数上的投影序列算法。 Ann.纯粹应用。 日志。 77 ( 三 ) : 201-244 ( 1996 ) 1994 [j3] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
扩展框架中的顺序性。 Inf.计算。 110 ( 2 ) : 265-296 ( 1994 ) 【c7】 洛伊克·科尔森 , 托马斯·埃尔哈德 :
关于强稳定性和高阶序贯性。 许可证 1994 : 103-108 1993 [注2] 托马斯·埃尔哈德 :
超相干:线性逻辑的一个强稳定模型。 数学。 结构。 计算。 科学。 三 ( 4 ) : 365-385 ( 1993 ) [j1] 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
顺序理论。 西奥。 计算。 科学。 113 ( 2 ) : 273-291 ( 1993 ) 1991 【c6】 托马斯·埃尔哈德 , 帕斯奎尔·马拉卡里亚 :
稳定函数的Stone对偶性。 范畴理论与计算机科学 1991 : 1-15 【c5】 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
PCF强稳定模型的扩展嵌入。 ICALP公司 1991 : 35-46岁 【c4】 安东尼奥·布恰雷利 , 托马斯·埃尔哈德 :
顺序性和强稳定性。 许可证 1991 : 138-145
1980 – 1989
1989 【c3】 托马斯·埃尔哈德 :
粒晶。 范畴理论与计算机科学 1989 : 213-223 1988 【c2】 托马斯·埃尔哈德 :
构式的范畴语义。 许可证 1988 : 264-273 1987 【c1】 蒂埃里·科昆 , 托马斯·埃尔哈德 :
高阶逻辑的等式表示。 范畴理论与计算机科学 1987 : 40-56