费德里科·奥利mpieri
人员信息
优化列表
2020年–今天
2024 【c5】 费德里科·奥利mpieri :
线性多类别结构的归一化相干性。 CSL公司 2024 : 43:1-43:17 [i7] 弗拉维恩·布鲁瓦特 , 费德里科·奥林皮耶里 :
Idempotent交集类型的索引线性逻辑(长版)。 CoRR公司 abs/2401.14126 ( 2024 ) 2023 [注2] Axel Kerinec公司 , 朱利奥·曼佐内托 , 费德里科·奥利mpieri :
为什么证据在证据相关模型中是相关的? 程序。 ACM计划。 语言。 7 ( POPL公司 ) : 218-248 ( 2023 ) 【c4】 皮埃尔·克莱兰堡 , 费德里科·奥利mpieri , 雨果·帕奎特 :
从瘦并发博弈到广义结构物种。 低收入国家 2023 : 1-14 【c3】 马泰奥·阿克拉维奥 , 大卫·卡塔 , 费德里科·奥利mpieri :
构造模态逻辑中证明的规范性。 TABLEAUX公司 2023 : 342至363 [i6] 皮埃尔·克莱兰博 , 费德里科·奥利mpieri , 雨果·帕奎特 :
从瘦并发博弈到广义结构物种。 CoRR公司 abs/2302.01082 ( 2023 ) [i5] 费德里科·奥利mpieri :
线性多类别结构的归一化相干性。 CoRR公司 abs/2302.05755 ( 2023 ) [i4] 马泰奥·阿克拉维奥 , 大卫·卡塔 , 费德里科·奥利mpieri :
模态Lambda演算中的规范性。 CoRR公司 abs/2304.05465 ( 2023 ) 2022 [j1] 费德里科·奥利mpieri , 莱昂内尔·沃克斯·奥克莱 :
关于λ-项的泰勒展开及其刚性逼近的广群结构。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) 2021 [c2] 朱利奥·格雷里 , 费德里科·奥利mpieri :
对非独立交叉口类型进行分类。 CSL公司 2021 : 25:1-25:24 【c1】 费德里科·奥利mpieri :
交叉点类型分配器。 低收入国家 2021 : 1-15 2020 【b1】 费德里科·奥利mpieri :
λ-演算的指称语义中的交集类型和资源演算。 (类型intersection et calculs avec resources dans la sémantique dénotationnelle duλ-calcul)。 法国Aix-Marseille大学, 2020 [i3] 费德里科·奥利mpieri :
λ-项的归一化、泰勒展开和刚性近似。 CoRR公司 abs/2001.01619 ( 2020 ) [i2] 费德里科·奥利mpieri :
交叉点类型分配器。 CoRR公司 2002年1月287日 ( 2020 ) [i1] 费德里科·奥利mpieri , 莱昂内尔·沃克斯-奥克莱 :
关于λ-项的泰勒展开及其刚性逼近的广群结构。 CoRR公司 abs/2008.02665 ( 2020 )