奥利维耶·劳亨 0001
优化列表
2020年–今天
2024 [i2] 雷米·迪·瓜迪亚 , 奥利维耶·劳亨 :
乘法加法线性逻辑的类型同构。 CoRR公司 abs/2402.11987 ( 2024 ) 2023 [第16条] 雷米·迪瓜迪亚 , 奥利维耶·劳亨 :
乘法加法线性逻辑的类型同构。 金融稳定与发展部 2023 : 26:1-26:21 2021 [第15条] 奥利维耶·劳亨 :
一种反本地命名的量词形式化方法。 清洁石油产品 2021 : 300-312 2020 [j13] 奥利维耶·劳亨 :
非类型初等线性逻辑中的多项式时间。 理论。 计算。 科学。 813 : 117-142 ( 2020 ) [c14] 埃萨伊·鲍尔 , 奥利维耶·劳亨 :
线性逻辑中的超指数。 线性& IJCAR-FSCD的TLLA 2020 : 50-73
2010 – 2019
2019 [第13条] 奥罗尔·阿尔科莱 , 皮埃尔·克莱兰堡 , 奥利维耶·劳亨 :
资源追踪并行游戏。 FoSSaCS公司 2019 : 27-44 2018 [第12条] 奥利维耶·劳亨 :
围绕经典和直觉主义线性逻辑。 低收入国家 2018 : 629-638 [第11条] 奥利维耶·劳亨 :
使用构造函数的交集子类型。 DCM/ITRS公司 2018 : 73-84 2017 [公元12年] 奥利维耶·劳亨 :
专注于整形外科。 日志。 方法计算。 科学。 13 ( 三 ) ( 2017 ) 2016 [第10条] 奥利维耶·劳亨 :
专注于整形外科。 金融稳定与发展部 2016 : 25:1-25:17 [i1] 奥利维耶·劳亨 :
专注于整形外科。 CoRR公司 abs/1612.01728 ( 2016 ) 2012 [公元11年] 奥利维耶·劳亨 :
通过剪切消除进行子类型划分的交集类型。 芬丹。 信息学 121 ( 1-4 ) : 203-226 ( 2012 ) 2011 [公元10年] 奥利维耶·劳亨 :
直觉双直觉网。 J.日志。 计算。 21 ( 4 ) : 561-587 ( 2011 ) 2010 [公元9年] 托马斯·埃尔哈德 , 奥利维耶·劳亨 :
非循环Solos和差分交互网。 日志。 方法计算。 科学。 6 ( 三 ) ( 2010 ) [j8] 奥利维耶·劳亨 :
一阶逻辑的游戏语义。 日志。 方法计算。 科学。 6 ( 4 ) ( 2010 ) [j7] 托马斯·埃尔哈德 , 奥利维耶·劳亨 :
解释微分相互作用网中的有限像素。 Inf.计算。 208 ( 6 ) : 606-633 ( 2010 ) [j6] Kohei Honda公司 , 奥利维耶·劳亨 :
类型化pi-calculus和极化证明网之间的精确对应。 理论。 计算。 科学。 411 ( 22-24 ) : 2223-2238 ( 2010 )
2000 – 2009
2008 【c9】 乌戈·达尔·拉戈 , 奥利维耶·劳亨 :
线性逻辑的定量游戏语义。 CSL公司 2008 : 230-245 【c8】 奥利维耶·劳亨 , 罗伯托·梅利 :
单一商场防护网的切割消除。 低收入国家 2008 : 486-497 2007 【c7】 托马斯·埃尔哈德 , 奥利维耶·劳亨 :
微分相互作用网中一个Finitary Pi-calculus的解释。 CONCUR公司 2007 : 333-348 2006 【c6】 罗素·哈默 , 奥利维耶·劳亨 :
《天真剖析》重温。 FSTTCS公司 2006 : 224-235 【c5】 奥利维耶·劳亨 , 洛伦佐·托托拉·德·法尔科 :
强求集团:有限时间复杂性的语义表征。 低收入国家 2006 : 179-188 2005 [j5] 奥利维耶·劳亨 , Myriam Quatrini公司 , 洛伦佐·托托拉·德·法尔科 :
极化和聚焦线性和经典证明。 Ann.纯粹应用。 日志。 134 ( 2-3 ) : 217-264 ( 2005 ) 【j4】 奥利维耶·劳亨 :
类型的经典同构。 数学。 结构。 计算。 科学。 15 ( 5 ) : 969-1004 ( 2005 ) [j3] 奥利维耶·劳亨 :
语法与语义:两极化方法。 理论。 计算。 科学。 343 ( 1-2 ) : 177-206 ( 2005 ) 2004 [注2] 奥利维耶·劳亨 :
两极化游戏。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 79-123 ( 2004 ) 2003 [j1] 奥利维耶·劳亨 :
极化证明网和lambda-µ-演算。 理论。 计算。 科学。 290 ( 1 ) : 161-188 ( 2003 ) 【c4】 奥利维耶·劳亨 , 劳伦特·雷格尼尔 :
关于经典逻辑到极化线性逻辑的翻译。 低收入国家 2003 : 11-20 2002 【c3】 奥利维耶·劳亨 :
两极化游戏。 低收入国家 2002 : 265- 2001 【c2】 奥利维耶·劳亨 :
用于完全几何交互的令牌机。 薄层色谱分析 2001 : 283-297
1990 – 1999
1999 [c1] 奥利维耶·劳亨 :
极化校对网络:LC的校对网络。 薄层色谱分析 1999 : 213-227