皮埃尔·路易斯·居里
人员信息
附属: 法国巴黎第七大学
优化列表
2020年–今天
2024 [第九章] 皮埃尔·路易斯·居里 , 纪尧姆·拉普兰特·安福西 :
nestohedra上的术语重写。 CoRR公司 腹肌/24031987 ( 2024 ) 2023 [j35] 陈一佳(音) , 皮埃尔·路易斯·库里恩 , 邓玉欣 , 张敏(音) :
《理论计算机科学》60周年纪念专刊前言 第个 傅玉玺的生日。 西奥。 计算。 科学。 945 : 113720 ( 2023 ) 2020 [公元34年] 皮埃尔·路易斯·居里 , 约瓦娜·奥布拉多维奇 :
分类的循环操作。 申请。 分类结构。 28 ( 1 ) : 59-112 ( 2020 ) [公元33年] 乔杰·巴拉利奇 , 皮埃尔·路易斯·居里 , 玛丽娜·米利舍维奇 , 约瓦娜·奥布拉多维奇 , 佐兰·佩特里克 , 姆拉登·泽基克 , 雷德·齐瓦尔耶维奇 :
校对和表面处理。 Ann.纯粹应用。 日志。 171 ( 9 ) : 102845 ( 2020 ) [公元32年] 乔治奥·奥斯耶罗 , 莉拉·卡里 , 格列泽戈兹·罗森伯格 , 唐纳德·桑内拉 , 保罗·G·斯皮拉基斯 , 皮埃尔·路易斯·居里 :
前言。 西奥。 计算。 科学。 807 : 1-2个 ( 2020 )
2010 – 2019
2019 [公元31年] 乔治奥·奥斯耶罗 , 莉拉·卡里 , 格列泽戈兹·罗森伯格 , 唐纳德·桑内拉 , 保罗·G·斯皮拉基斯 , 皮埃尔·路易斯·居里 :
前言。 西奥。 计算。 科学。 777 : 1-2个 ( 2019 ) [公元25年] Cédric Ho Thanh先生 , 皮埃尔·路易斯·居里 , 塞缪尔·米姆拉姆 :
眼科序贯演算。 低收入国家 2019 : 1-12 2017 【j30】 皮埃尔·路易斯·居里 , 杰拉德·P·休特 , 安托万·佩蒂特 :
悼词莫里斯·尼瓦特(1937-2017)。 牛市。 EATCS公司 123 ( 2017 ) [公元29年] 皮埃尔·路易斯·居里 , 塞缪尔·米姆拉姆 :
单体范畴的连贯表达。 日志。 方法计算。 科学。 13 ( 三 ) ( 2017 ) [i8] 皮埃尔·路易斯·居里 , 塞缪尔·米姆拉姆 :
单体范畴的连贯表达。 CoRR公司 abs/1705.03553 ( 2017 ) 2016 [公元24年] 皮埃尔·路易斯·居里 , 马塞洛·P·菲奥雷 , 纪尧姆·蒙奇·马卡尼奥尼 :
效应和资源理论:附加模型和极化计算。 POPL公司 2016 : 44-56 2014 [公元28年] 皮埃尔·路易斯·居里 , 理查德·加纳 , 马丁·霍夫曼 :
重新审视依赖型理论的范畴解释。 西奥。 计算。 科学。 546 : 99-119 ( 2014 ) 2012 [公元27年] 皮埃尔·路易斯·居里 , 克劳迪娅·法根 :
将无害策略作为图表的方法。 Inf.计算。 214 : 119-155 ( 2012 ) [i7] 皮埃尔·路易斯·居里 :
操作、克隆和分配法则。 CoRR公司 abs/1205.3050 ( 2012 ) 2011 [公元26年] 皮埃尔·路易斯·居里 :
前言。 西奥。 计算。 科学。 412 ( 20 ) : 1853-1859 ( 2011 ) 2010 【c23】 皮埃尔·路易斯·居里 , 纪尧姆·蒙奇·马卡尼奥尼 :
焦点下计算的二重性。 IFIP TCS 2010 : 165-181 [i6] 皮埃尔·路易斯·居里 , 纪尧姆·蒙奇·马卡尼奥尼 :
聚焦下计算的二重性。 CoRR公司 abs/1006.2283 ( 2010 )
2000 – 2009
2009 [公元25年] 吉姆·艾伦 , 泽纳·M·阿里奥拉 , 皮埃尔·路易斯·库里恩 , 马修·弗莱特 , 杰弗里·福斯特 , 丹·格罗斯曼 , 罗伯·哈波 , 雨果·赫伯林 , 亚尼斯·斯马拉格达基斯 , 大卫·沃克 , 史蒂夫·兹丹塞维奇 :
俄勒冈州编程语言暑期学校概述。 ACM SIGPLAN通知 44 ( 11 ) : 1-3 ( 2009 ) [电子3] 皮埃尔·路易斯·居里 :
2009年7月1日至3日,巴西巴西利亚,第九届国际TLCA大会,《打字兰姆达演算与应用》。 诉讼程序。 计算机科学课堂讲稿 5608, 施普林格 2009 ,国际标准图书编号 978-3-642-02272-2 [目录] 2008 [j24] 皮埃尔·路易斯·居里 , 文森特·达诺斯 , 让·克里文 , 张敏(音) :
计算自组装。 西奥。 计算。 科学。 404 ( 1-2个 ) : 61-75 ( 2008 ) [公元22年] 皮埃尔·路易斯·居里 :
弦图的乐趣。 CSL公司 2008 : 15-22 2007 【c21】 皮埃尔·路易斯·居里 :
可定义性和全面抽象。 计算、意义和逻辑 2007 : 301-310 [i5] 皮埃尔·路易斯·居里 , 雨果·赫伯林 :
对话游戏的抽象机器。 CoRR公司 abs/0706.2544 ( 2007 ) 2005 [公元20年] 皮埃尔·路易斯·居里 , 克劳迪娅·法根 :
L-网络、策略和证明网络。 CSL公司 2005 : 167-183 [i4] 皮埃尔·路易斯·居里 :
有趣、流畅的计算。 CoRR公司 abs/cs/0501033 ( 2005 ) [i3] 皮埃尔·路易斯·居里 :
程序设计中的对称性和交互性。 CoRR公司 abs/cs/0501034 ( 2005 ) [i2] 皮埃尔·路易斯·居里 :
线性逻辑和逻辑学导论,第一部分。 CoRR公司 abs/cs/0501035 ( 2005 ) [i1] 皮埃尔·路易斯·居里 :
线性逻辑和逻辑导论,第二部分。 CoRR公司 abs/cs/0501039 ( 2005 ) 2003 [公元23年] 皮埃尔·路易斯·居里 :
编程中的对称性和交互性。 牛市。 符号。 日志。 9 ( 2 ) : 169-180 ( 2003 ) 2002 [公元22年] 皮埃尔·路易斯·居里 :
莫里斯·尼瓦特的科学传记短篇。 西奥。 计算。 科学。 281 ( 1-2个 ) : 3-23 ( 2002 ) 2001 [公元21年] 皮埃尔·路易斯·居里 :
《梭伦湖序言》。 数学。 结构。 计算。 科学。 11 ( 三 ) : 299-300 ( 2001 ) 2000 [第19条] 皮埃尔·路易斯·居里 :
抽象机器、控制和序列。 应用扫描电镜 2000 : 123-136 [第18条] 皮埃尔·路易斯·居里 , 戈登·普洛金 , 格林·温斯克 :
双结构、双域和线性逻辑。 证明、语言和互动 2000 : 21-54 [第17条] 皮埃尔·路易斯·居里 , 雨果·赫伯林 :
计算的二重性。 ICFP公司 2000 : 233-243
1990 – 1999
1999 [公元20年] 热拉尔·布多尔 , 皮埃尔·路易斯·居里 , 卡罗莱娜·拉瓦泰利 :
带有资源的lambda calculi的语义。 数学。 结构。 计算。 科学。 9 ( 4 ) : 437-482 ( 1999 ) 1998 【b1】 罗伯特·阿马迪奥 , 皮埃尔·路易斯·居里 :
域和lambda-calculi。 剑桥理论计算机科学丛书 46, 剑桥大学出版社 1998 ,国际标准图书编号 978-0-521-62277-6 第I-XIII页,1-484页 [公元19年] 皮埃尔·路易斯·居里 , 马修·轩尼诗 , 林惠民 :
前言。 J.计算。 科学。 Technol公司。 13 ( 6 ) : 481 ( 1998 ) [公元18年] 皮埃尔·路易斯·居里 :
显性替代:一项简短调查。 J.计算。 科学。 Technol公司。 13 ( 6 ) : 562-563 ( 1998 ) [公元17年] 皮埃尔·路易斯·居里 :
抽象Böhm树。 数学。 结构。 计算。 科学。 8 ( 6 ) : 559-591 ( 1998 ) [第16条] 皮埃尔·路易斯·居里 , 雨果·赫贝林 :
使用抽象Böhm树进行计算。 富士国际函数和逻辑编程研讨会 1998 : 20-39 1996 [公元16年] 皮埃尔·路易斯·居里 , 塞雷斯·哈丁 , 珍妮·雅克·莱维 :
显式代换的弱演算和强演算的汇合性质。 美国临床医学杂志 43 ( 2 ) : 362-397 ( 1996 ) [公元15年] 皮埃尔·路易斯·居里 , 罗贝多·迪·科斯莫 :
具有surpjective对和终端对象的lambda-Calculus的汇流约简。 J.功能。 程序。 6 ( 2 ) : 299-327 ( 1996 ) [公元14年] 皮埃尔·路易斯·居里 , 塞雷斯·哈丁 , 亚历杭德罗·里奥斯 :
置换的强归一化。 J.日志。 计算。 6 ( 6 ) : 799-817 ( 1996 ) 1995 [第15条] 罗伯托·贝鲁奇 , 马丁·阿巴迪 , 皮埃尔·路易斯·居里 :
形式参数多态模型:R系统的PER解释。 薄层色谱分析 1995 : 32-46 1994 [j13] 皮埃尔·路易斯·居里 , 乔治·盖利 :
F_\le中β\eta\hboxtop_\le还原的决定性和合流性。 Inf.计算。 109 ( 1/2 ) : 57-114 ( 1994 ) [公元12年] 罗伯特·卡特赖特 , 皮埃尔·路易斯·居里 , 马提亚斯·费莱森 :
可观测序列语言的完全抽象语义。 Inf.计算。 111 ( 2 ) : 297-401 ( 1994 ) [公元11年] 皮埃尔·路易斯·居里 , 塞雷斯·哈丁 :
然而,lambda+SP却是一个反例。 J.功能。 程序。 4 ( 1 ) : 113-115 ( 1994 ) 1993 [公元10年] 皮埃尔·路易斯·居里 :
代换到同构。 芬丹。 信息学 19 ( 1/2 ) : 51至85 ( 1993 ) [公元9年] 马丁·阿巴迪 , 鲁卡·凯德利 , 皮埃尔·路易斯·库里恩 :
形式参数多态。 西奥。 计算。 科学。 121 ( 1&2 ) : 9-58 ( 1993 ) [第14条] 皮埃尔·路易斯·居里 :
关于序列的对称性。 MFPS公司 1993 : 29-71 [第13条] 马丁·阿巴迪 , 鲁卡·凯德利 , 皮埃尔·路易斯·居里 :
形式参数多态。 POPL公司 1993 : 157-170 1992 [j8] 皮埃尔·路易斯·居里 , 乔治·盖利 :
F中包含、最小类型和类型检查的一致性 <= . 数学。 结构。 计算。 科学。 2 ( 1 ) : 55-91 ( 1992 ) [第12条] 皮埃尔·路易斯·居里 :
具体数据结构上的可观测算法。 低收入国家 1992 : 432至443 [第11条] 皮埃尔·路易斯·居里 , 塞雷斯·哈丁 , 亚历杭德罗·里奥斯 :
替代的强规范化。 MFCS公司 1992 : 209-217 1991 [j7] 马丁·阿巴迪 , 鲁卡·凯德利 , 皮埃尔·路易斯·居里 , 珍妮·雅克·莱维 :
显式替换。 J.功能。 程序。 1 ( 4 ) : 375-416 ( 1991 ) [j6] 皮埃尔·路易斯·居里 :
环境机器的抽象框架。 西奥。 计算。 科学。 82 ( 2 ) : 389-402 ( 1991 ) [第10条] 皮埃尔·路易斯·居里 , 罗贝多·迪·科斯莫 :
具有surpjective对和终端对象的Lambda-Calculus的结论约简。 ICALP公司 1991 : 291-302 【c9】 皮埃尔·路易斯·居里 , 乔治·盖利 :
关于弱正规化系统的汇流。 区域贸易协定 1991 : 215-225 【c8】 皮埃尔·路易斯·居里 , 乔治·盖利 :
亚型+外延性:F中贝塔-贝塔顶部归约的汇合 <= . 节气门执行器控制系统 1991 : 731-749 [电子2] 大卫·H·皮特 , 皮埃尔·路易斯·居里 , 萨姆森·阿布拉姆斯基 , 安德鲁·皮特斯 , 阿克塞尔·波涅 , 大卫·E·瑞德海尔 :
类别理论与计算机科学,第四届国际会议,法国巴黎,1991年9月3-6日,会议记录。 计算机科学课堂讲稿 530, 施普林格 1991 ,国际标准图书编号 3-540-54495-X号 [目录] 1990 【c7】 皮埃尔·路易斯·居里 , 乔治·盖利 :
承诺的一致性。 CAAP公司 1990 : 132-146 【c6】 马丁·阿巴迪 , 鲁卡·凯德利 , 皮埃尔·路易斯·居里 , 珍妮·雅克·莱维 :
显式替换。 POPL公司 1990 : 31-46
1980 – 1989
1989 [j5] 皮埃尔·路易斯·居里 , 亚当·奥布杜洛维奇 :
偏性、笛卡尔封闭性和拓扑。 Inf.计算。 80 ( 1 ) : 50-95 ( 1989 ) 【j4】 皮埃尔·路易斯·居里 :
阿尔法转换、变量条件和范畴逻辑。 Stud Logica公司 48 ( 三 ) : 319-360 ( 1989 ) 1987 [j3] 盖·库西诺 , 皮埃尔·路易斯·居里 , 米歇尔·莫尼 :
范畴抽象机器。 科学。 计算。 程序。 8 ( 2 ) : 173-202 ( 1987 ) 1986 [注2] 皮埃尔·路易斯·库里恩 :
分类组合器。 信息控制。 69 ( 1-3 ) : 188-254 ( 1986 ) [电子1] 盖伊·库西诺 , 皮埃尔·路易斯·居里 , 伯纳德·J·罗宾内 :
《组合器和函数式编程语言》,第十三届LITP春季学校,法国瓦尔德阿约尔,1985年5月6日至10日,论文集。 计算机科学课堂讲稿 242, 施普林格 1986 ,国际标准图书编号 3-540-17184-3 [目录] 1985 【c5】 皮埃尔·路易斯·居里 :
句法对等导致语义对等。 欧洲计算机代数会议(2) 1985 : 168-178 【c4】 盖·库西诺 , 皮埃尔·路易斯·居里 , 米歇尔·莫尼 :
分类抽象机。 FPCA公司 1985 : 50-64 【c3】 皮埃尔·路易斯·居里 :
分类组合逻辑。 ICALP公司 1985 : 130-139 【c2】 盖·库西诺 , 皮埃尔·路易斯·居里 , 米歇尔·莫尼 , 阿斯坎德·苏亚雷斯 :
组合、分类和语言功能实现。 组合器和函数式编程语言 1985 : 85-103 【c1】 皮埃尔·路易斯·居里 :
类型化分类组合逻辑。 TAPSOFT,第1卷 1985 : 157-172 1982 [j1] 杰拉德·贝瑞 , 皮埃尔·路易斯·居里 :
具体数据结构的顺序算法。 西奥。 计算。 科学。 20 : 265至321 ( 1982 )