莱昂内尔·沃克斯-奥克莱
人员信息
附属: 法国爱克斯马赛大学
SPARQL查询
优化列表
2020年–今天
2024 【c9】 朱利奥·格雷里 , 朱利亚·马纳拉 , 洛伦佐·托托拉·德·法尔科 , 莱昂内尔·沃克斯-奥克莱 :
通过并行切割消除实现校对网络的融合。 LPAR公司 2024 : 464-483 2023 [j8] 雷米·塞尔达 , 莱昂内尔·沃克斯-奥克莱 :
通过泰勒展开的无限$\beta$-约简的金融模拟及应用。 日志。 方法计算。 科学。 19 ( 4 ) ( 2023 ) 【c8】 Lison Blondeau-资料 , 皮埃尔·克莱兰堡 , 莱昂内尔·沃克斯-奥克莱 :
作为资源术语的策略及其分类语义。 金融稳定与发展部 2023 : 13:1-13:22 [i10] Lison Blondeau-资料 , 皮埃尔·克莱兰堡 , 莱昂内尔·沃克斯-奥克莱 :
作为资源术语的策略及其分类语义。 CoRR公司 abs/2302.04685 ( 2023 ) [第九章] Axel Kerinec公司 , 莱昂内尔·沃克斯-奥克莱 :
代数λ-演算是普通λ-积分的保守推广。 CoRR公司 abs/2305.01067 ( 2023 ) [i8] 雷米·塞尔达 , 莱昂内尔·沃克斯-奥克莱 :
如何弹奏手风琴。 关于λ-项的Taylor近似引起的归约的(非)保守性。 CoRR公司 abs/2305.02785 ( 2023 ) [i7] Lison Blondeau-资料 , 皮埃尔·克莱兰堡 , 莱昂内尔·沃克斯-奥克莱 :
扩展泰勒展开。 CoRR公司 abs/2305.08489 ( 2023 ) 2022 [j7] 费德里科·奥利mpieri , 莱昂内尔·沃克斯-奥克莱 :
关于λ-项的泰勒展开及其刚性逼近的广群结构。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) [i6] 雷米·塞尔达 , 莱昂内尔·沃克斯-奥克莱 :
泰勒展开有限模拟无限β-约化。 CoRR公司 abs/2211.05608 ( 2022 ) 2021 【b2】 莱昂内尔·沃克斯 :
定量的附加语法。 法国Aix-Marseille大学, 2021 [j6] 朱尔斯·乔奎特 , 莱昂内尔·沃克斯-奥克莱 :
乘法线性逻辑中并行截消元在证明网泰勒展开中的应用。 日志。 方法计算。 科学。 17 ( 4 ) ( 2021 ) 2020 [i5] 费德里科·奥利mpieri , 莱昂内尔·沃克斯-奥克莱 :
关于λ-项的泰勒展开及其刚性逼近的广群结构。 CoRR公司 abs/2008.02665 ( 2020 )
2010 – 2019
2019 [j5] 莱昂内尔·沃克斯 :
通过资源向量的并行约简,规范化非确定性{\lambda}-项的泰勒展开。 日志。 方法计算。 科学。 15 ( 三 ) ( 2019 ) [i4] 朱尔斯·乔奎特 , 莱昂内尔·沃克斯-奥克莱 :
乘法线性逻辑中并行截消元在证明网泰勒展开中的应用。 CoRR公司 abs/1902.05193 ( 2019 ) 2018 【j4】 克里斯汀·塔森 , 莱昂内尔·沃克斯 :
有限结构和应用的传输。 数学。 结构。 计算。 科学。 28 ( 7 ) : 1061-1096 ( 2018 ) 【c7】 朱尔斯·乔奎特 , 莱昂内尔·沃克斯-奥克莱 :
无单位乘法线性逻辑中并行消去法在证明网泰勒展开中的应用。 CSL公司 2018 : 15:1-15:17 2017 【c6】 莱昂内尔·沃克斯 :
泰勒展开、λ-约化和归一化。 CSL公司 2017 : 39:1-39:16 [i3] 莱昂内尔·沃克斯 :
通过资源向量的并行约简,规范化非确定性λ-项的泰勒展开。 CoRR公司 abs/1706.04700 ( 2017 ) 2016 【c5】 米歇尔·帕加尼 , 克里斯汀·塔森 , 莱昂内尔·沃克斯 :
通过\lambdaλ-项的泰勒展开作为有限结构的强正规化。 FoSSaCS公司 2016 : 408-423 [i2] 米歇尔·帕加尼 , 克里斯汀·塔森 , 莱昂内尔·沃克斯 :
通过λ-项的泰勒展开作为有限结构的强正规化。 CoRR公司 abs/1603.07218 ( 2016 ) 2013 [j3] 莱昂内尔·沃克斯 :
系统T的非一致有限关系语义。 RAIRO提奥。 信息学应用。 47 ( 1 ) : 111-132 ( 2013 ) 2010 [i1] 克里斯汀·塔森 , 莱昂内尔·沃克斯 :
有限结构和应用的传输。 CoRR公司 abs/1004.3655 ( 2010 )
2000 – 2009
2009 [注2] 莱昂内尔·沃克斯 :
代数lambda演算。 数学。 结构。 计算。 科学。 19 ( 5 ) : 1029-1059 ( 2009 ) 【c4】 莱昂内尔·沃克斯 :
系统T的非一致金融关系语义。 虚拟计算机 2009 : 116-123 【c3】 莱昂内尔·沃克斯 :
微分线性逻辑和极化。 薄层色谱分析 2009 : 371-385 2007 【b1】 莱昂内尔·沃克斯 :
λ-calcul différentiel et logique classique:交互计算器。 (微分λ-微积分和经典逻辑:它们的计算相互作用)。 地中海大学,法国马赛, 2007 [j1] 莱昂内尔·沃克斯 :
微分lambdamu演算。 西奥。 计算。 科学。 379 ( 1-2 ) : 166-209 ( 2007 ) 【c2】 莱昂内尔·沃克斯 :
关于线性组合 λ -条款。 区域贸易协定 2007 : 374-388 【c1】 莱昂内尔·沃克斯 :
卷积λ̅μ-微积分。 薄层色谱分析 2007 : 381-395