亚历克西斯·索林
人员信息
优化列表
2020年–今天
2023 [c32] 科斯蒂亚霞多丽 , 亚历克西斯·索林 , 贝诺?t缬氨酸 :
线性可逆计算的Curry-Howard对应关系。 CSL公司 2023 : 13:1-13:18 [公元31年] 阿努帕姆·达斯 , Abhishek De公司 , 亚历克西斯·索林 :
线性逻辑无限系统与不动点的比较。 FSTTCS公司 2023 : 40分40秒17 [c30] 亚历克西斯·索林 :
具有最小和最大固定点的非wellfounded序贯演算的切割消除的线性透视。 TABLEAUX公司 2023 : 203-222 [公元29年] 奥罗尔·阿尔科莱 , 吕克·佩利西尔 , 亚历克西斯·索林 :
序列化的指数逻辑。 MFPS公司 2023 [i2] 科斯蒂亚霞多丽 , 亚历克西斯·索林 , 贝诺?t缬氨酸 :
线性可逆计算的Curry-Howard通信。 CoRR公司 abs/2302.11887 ( 2023 ) 2022 [公元28年] 阿努帕姆·达斯 , Abhishek De公司 , 亚历克西斯·索林 :
具有最小和最大不动点的线性逻辑的决策问题。 金融稳定与发展部 2022 : 20:1-20:20 [公元27年] Abhishek De公司 , 法扎德·贾法拉赫马尼 , 亚历克西斯·索林 :
具有最小和最大不动点的线性逻辑的相位语义。 FSTTCS公司 2022 : 35:1-35:23 [公元26年] 大卫·巴尔德 , 阿米娜·杜马内 , 丹尼斯·库珀伯格 , 亚历克西斯·索林 :
圆形和非良好证据的弹跳线:走向具有圆形证据的合成性。 低收入国家 2022 : 63:1-63:13 2021 [公元25年] Abhishek De公司 , 吕克·佩利西尔 , 亚历克西斯·索林 :
共创编程的标准化证明对象:具有无限多个切割的内联网。 PPDP(PPDP) 2021 : 7:1-7:15 2020 [公元24年] 科斯蒂亚霞多丽 , 亚历克西斯·索林 , 贝诺?t缬氨酸 :
走向线性可逆计算的Curry-Howard等价——工作在进展中。 钢筋混凝土 2020 : 144-152 [i1] 大卫·巴尔德 , 阿米娜·杜马内 , 丹尼斯·库珀伯格 , 亚历克西斯·索林 :
无限和循环证明的弹跳线。 CoRR公司 abs/2005.08257 ( 2020 )
2010 – 2019
2019 [j5] 朱利奥·曼佐内托 , 安德鲁·波伦斯基 , 亚历克西斯·索林 , 雅各布·格鲁·西蒙森 :
不动点性质和一种利用双不动点组合子的技术。 J.日志。 计算。 29 ( 5 ) : 831-880 ( 2019 ) 【j4】 大卫·巴尔德 , 艾米·费尔蒂 , 戈帕兰·纳达图尔 , 亚历克西斯·索林 :
这是一期关于结构证明理论、自动推理和计算的特刊,以庆祝戴尔·米勒的60岁生日。 数学。 结构。 计算。 科学。 29 ( 8 ) : 1007-1008 ( 2019 ) 【c23】 Abhishek De公司 , 亚历克西斯·索林 :
内嵌:无根据证明理论的并行语法。 TABLEAUX公司 2019 : 297-316 [公元22年] 雷米·诺列特 , 亚历克西斯·索林 , 克里斯汀·塔森 :
PSPACE-具有最小和最大不动点的线性逻辑中循环证明的线程准则的完备性。 TABLEAUX公司 2019 : 317-334 2018 【c21】 雷米·诺列特 , 亚历克西斯·索林 , 克里斯汀·塔森 :
不动点线性逻辑循环证明的局部有效性。 CSL公司 2018 : 35:1-35:23 2016 [公元20年] 大卫·巴尔德 , 阿米娜·杜马内 , 亚历克西斯·索林 :
无穷证明理论:乘法加法情形。 CSL公司 2016 : 42:1-42:17 [第19条] 皮尔雷·马里·佩德罗 , 亚历克西斯·索林 :
经典By-Need。 员工持股计划 2016 : 616-643 [第18条] 阿米娜·杜马内 , 大卫·贝尔德 , 卢卡·赫斯基 , 亚历克西斯·索林 :
线性时间μ-演算中通过证明搜索走向完备性:Büchi包含的情况。 低收入国家 2016 : 377-386 2015 [第17条] 大卫·巴尔德 , 阿米娜·杜马内 , 亚历克西斯·索林 :
Ludics中的最小和最大固定点。 CSL公司 2015 : 549-566 [第16条] 马克·巴格诺尔 , 阿米娜·杜马内 , 亚历克西斯·索林 :
关于逻辑规则的依赖性。 FoSSaCS公司 2015 : 436-450 2014 [第15条] 马克·巴格诺尔 , 阿米娜·杜马内 , 亚历克西斯·索林 :
对前一阶段的依赖性和校正进行分析。 JFLA公司 2014 : 159-174 [第14条] 皮尔雷·马里·佩德罗 , 阿米娜·杜马内 , 亚历克西斯·索林 :
Nécessitéfaite loi:评估资产负债表。 JFLA公司 2014 : 175-189 2013 [电子1] 乌戈·德利古罗 , 亚历克西斯·索林 :
2013年6月24日至25日,荷兰埃因霍温,COS 2013,控制算子及其语义第一次研讨会论文集。 EPTCS系统 127, 2013 [目录] 2012 [j3] 亚历克西斯·索林 :
λμ-演算的Böhm定理和Böhm树。 西奥。 计算。 科学。 435 : 106-138 ( 2012 ) [c13] 泽纳·M·阿里奥拉 , 保罗·唐恩 , 雨果·赫贝林 , 中田惠子 , 亚历克西斯·索林 :
经典的按需调用顺序演算:语义工件的统一。 FLOPS(浮动) 2012 : 32-46 2011 [第12条] 泽纳·M·阿里奥拉 , 雨果·赫伯林 , 亚历克西斯·索林 :
经典的Call-by Need和Duality。 薄层色谱分析 2011 : 27-44 [第1页] 米歇尔·巴萨尔德拉 , 亚历克西斯·索林 , Kazushige Terui公司 :
聚焦的意义。 PRELUDE项目 2011 : 78-87 2010 [注2] 奥利维尔·德兰德 , 戴尔·米勒 , 亚历克西斯·索林 :
在MALL中作为游戏进行证明和反驳。 Ann.纯粹应用。 日志。 161 ( 5 ) : 654-672 ( 2010 ) [j1] 亚历克西斯·索林 :
在∧µ-演算中键入流。 ACM事务处理。 计算。 日志。 11 ( 4 ) : 28:1-28:34 ( 2010 ) [第11条] 亚历克西斯·索林 :
Lambda的标准化和Böhm树 µ -微积分。 FLOPS(浮动) 2010 : 134-149 [第10条] 亚历克西斯·索林 :
Call-by-Name中带分隔符的Continuations的层次结构。 FoSSaCS公司 2010 : 374-388 【c9】 西蒙娜·隆奇·德尔拉·罗卡 , 亚历克西斯·索林 , 伊奥戈斯·斯塔夫里诺斯 , 阿纳斯塔西亚·维内蒂 :
序列演算风格的交集逻辑。 ITRS公司 2010 : 16-30 【c8】 米歇尔·巴萨尔德拉 , 亚历克西斯·索林 , Kazushige Terui公司 :
从逻辑聚焦到聚焦逻辑。 MFPS公司 2010 : 161-176
2000 – 2009
2008 【c7】 亚历克西斯·索林 :
论lambda-mu-Calculi句法理论之间的关系。 CSL公司 2008 : 154-168 【c6】 亚历克西斯·索林 :
面向Ludics编程:交互式证明搜索。 ICLP公司 2008 : 253-268 【c5】 考斯特夫·乔杜里 , 戴尔·米勒 , 亚历克西斯·索林 :
通过多聚焦的标准顺序证明。 IFIP TCS 2008 : 383-396 2007 【c4】 戴尔·米勒 , 亚历克西斯·索林 :
从证明到焦点证明:线性逻辑中焦点化的模块化证明。 CSL公司 2007 : 405-419 2005 【c3】 戴尔·米勒 , 亚历克西斯·索林 :
用于证明搜索的游戏语义:初步结果。 GALOP@预计到达时间 2005 : 92年至106年 【c2】 亚历克西斯·索林 :
lambdaµ-演算中的流分离。 低收入国家 2005 : 356-365 【c1】 戴尔·米勒 , 亚历克西斯·索林 :
用于证明搜索的游戏语义:初步结果。 MFPS公司 2005 : 543-563