劳伦特·雷格尼尔
人员信息
优化列表
2010 – 2019
2016 [电子1] Jean-Marc Talbot公司 , 劳伦特·雷格尼尔 :
2016年8月29日至9月1日,第25届EACSL计算机科学逻辑年会,法国马赛。 LIPIcs公司 62, Schloss Dagstuhl-莱布尼茨信息中心 2016 ,国际标准图书编号 978-3-95977-022-4 [目录]
2000 – 2009
2008 [j7] 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
均匀性和普通λ-项的泰勒展开。 西奥。 计算。 科学。 403 ( 2-3 ) : 347-372 ( 2008 ) 2006 [j6] 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
差分相互作用网。 西奥。 计算。 科学。 364 ( 2 ) : 166-195 ( 2006 ) [第11条] 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
Böhm树、Krivine机器和Lambda-Terms的泰勒展开。 CiE公司 2006 : 186-197 2004 [第10条] 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
差分相互作用网。 沃尔利克 2004 : 35-74 2003 [j5] 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
微分λ-微积分。 西奥。 计算。 科学。 309 ( 1-3 ) : 1-41 ( 2003 ) 【c9】 奥利维耶·劳亨 , 劳伦特·雷格尼尔 :
关于经典逻辑到极化线性逻辑的翻译。 低收入国家 2003 : 11-20 2002 [i1] 劳伦特·雷格尼尔 , 巴维尔·乌尔兹琴 :
多原子类型的收缩。 CoRR公司 反恐精英。 LO/0212005 ( 2002 )
1990 – 1999
1999 【j4】 文森特·达诺斯 , 劳伦特·雷格尼尔 :
可逆、不可逆和最佳lambda-Machines。 西奥。 计算。 科学。 227 ( 1-2 ) : 79-97 ( 1999 ) 1998 [j3] 托马斯·埃尔哈德 , 伊夫·拉丰 , 劳伦特·雷格尼尔 :
前言。 数学。 结构。 计算。 科学。 8 ( 6 ) : 541 ( 1998 ) 1997 【c8】 帕特里克·贝洛特 , 文森特·达诺斯 , 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
永恒的游戏。 CSL公司 1997 : 56-77 【c7】 帕特里克·贝洛特 , 文森特·达诺斯 , 托马斯·埃尔哈德 , 劳伦特·雷格尼尔 :
信不信由你,AJM的游戏模型是一个经典线性逻辑模型。 低收入国家 1997 : 68-75 1996 【c6】 文森特·达诺斯 , 马可·佩迪奇尼 , 劳伦特·雷格尼尔 :
定向虚拟还原。 CSL公司 1996 : 76-88 【c5】 文森特·达诺斯 , 雨果·赫伯林 , 劳伦特·雷格尼尔 :
游戏语义和抽象机器。 低收入国家 1996 : 394-405 【c4】 文森特·达诺斯 , 劳伦特·雷格尼尔 :
可逆、不可逆和最佳Lambda机器。 线性逻辑东京会议 1996 : 40-60 1994 [注2] 劳伦特·雷格尼尔 :
lambda-termes的不等效性。 西奥。 计算。 科学。 126 ( 2 ) : 281-292 ( 1994 ) 【c3】 安德烈亚·阿斯佩蒂 , 文森特·达诺斯 , 科西莫·拉伊夫 , 劳伦特·雷格尼尔 :
lambda演算中的路径。 低收入国家 1994 : 426-436 1993 【c2】 文森特·达诺斯 , 劳伦特·雷格尼尔 :
本地和异步贝塔缩减(Girard执行公式分析)。 低收入国家 1993 : 296-306 1991 【c1】 马六甲帕斯夸尔 , 劳伦特·雷格尼尔 :
算子代数中lambda-calculus解释的一些结果。 低收入国家 1991 : 63-72
1980 – 1989
1989 [j1] 文森特·达诺斯 , 劳伦特·雷格尼尔 :
乘法的结构。 架构(architecture)。 数学。 日志。 28 ( 三 ) : 181-203 ( 1989 )