罗埃尔·C·德·弗里耶
人员信息
附属: 荷兰阿姆斯特丹VU大学
其他同名人员
优化列表
2010 – 2019
2010 [公元9年] 约格·恩德鲁利斯 , Roel C.de Vrijer公司 , 约翰内斯·沃尔德曼 :
局部终止:理论与实践。 日志。 方法计算。 科学。 6 ( 三 ) ( 2010 )
2000 – 2009
2009 [第10条] 约格·恩德鲁利斯 , 罗埃尔·C·德·弗里耶 , 约翰内斯·沃尔德曼 :
本地终止。 区域贸易协定 2009 : 270-284 2008 [j8] 简·威廉·克洛普 , 文森特·范·奥斯特罗姆 , 罗埃尔·C·德·弗里耶 :
带模式的Lambda微积分。 理论。 计算。 科学。 398 ( 1-3 ) : 16-31 ( 2008 ) 【c9】 约格·恩德鲁利斯 , 罗埃尔·C·德·弗里耶 :
替代减少额。 区域贸易协定 2008 : 425-440 【c8】 约尔格·恩德鲁利斯 , 克莱门斯抓斗手 , 迪米特里·亨德里克斯 , 简·威廉·克洛普 , 罗埃尔·C·德·弗里耶 :
证明无限正规化。 类型 2008 : 64-82 2006 【c7】 简·威廉·克洛普 , 文森特·范·奥斯特罗姆 , 罗埃尔·C·德·弗里耶 :
迭代词典路径顺序。 献给约瑟夫·戈根的散文 2006 : 541-554 2005 【c6】 简·威廉·克洛普 , 罗埃尔·C·德·弗里耶 :
无限规范化。 我们将向他们展示! (2) 2005 : 169-192 [电子1] 阿尔特·米德尔多普 , 文森特·范·奥斯特罗姆 , 费尔克·范·拉姆斯登克 , Roel C.de Vrijer公司 :
《过程、术语和周期:迈向无限之路的脚步》,献给简·威廉·克洛普的散文,纪念他60岁生日。 计算机科学课堂讲稿 3838, 施普林格 2005 ,国际标准图书编号 3-540-30911-倍 [目录] 2002 【c5】 文森特·范·奥斯特罗姆 , 罗埃尔·C·德·弗里耶 :
减少的四个等效值。 WRS公司 2002 : 21-61 2001 [j7] 米尔娜·博格纳尔 , 罗埃尔·C·德·弗里耶 :
兰姆达微积分上下文的微积分。 J.自动化。 原因。 27 ( 1 ) : 29-59 ( 2001 ) 2000 [j6] 英格·贝斯克 , 简·威廉·克洛普 , 罗埃尔·C·德·弗里耶 :
术语改写中的后代和起源。 Inf.计算。 159 ( 1-2 ) : 59-124 ( 2000 ) [j5] 简·威廉·克洛普 , 文森特·范·奥斯特罗姆 , 罗埃尔·C·德·弗里耶 :
通过递减图对汇流的几何证明。 J.日志。 计算。 10 ( 三 ) : 437-460 ( 2000 )
1990 – 1999
1999 【j4】 英格·贝斯克 , 简·威廉·克洛普 , 罗埃尔·C·德·弗里耶 :
扩展部分组合代数。 数学。 结构。 计算。 科学。 9 ( 4 ) : 483-505 ( 1999 ) 1996 【c4】 英格·贝斯克 , 简·威廉·克洛普 , 罗埃尔·C·德·弗里耶 :
用唯一头正规形式完成部分组合代数。 低收入国家 1996 : 448-454 1994 [j3] 简·威廉·克洛普 , 阿尔特·米德尔多普 , 富山义彦 , 罗埃尔·C·德·弗里耶 :
汇流的模块性:一个简化的证明。 信息处理。 莱特。 49 ( 2 ) : 101-109 ( 1994 ) 1990 【c3】 简·威廉·克洛普 , 罗埃尔·C·德·弗里耶 :
长期重写系统。 CTRS公司 1990 : 26-50
1980 – 1989
1989 [注2] 简·威廉·克洛普 , 罗埃尔·C·德·弗里耶 :
带外推对的Lambda微积分的唯一正规形式。 Inf.计算。 80 ( 2 ) : 97-113 ( 1989 ) 【c2】 罗埃尔·C·德·弗里耶 :
用Surjective Pairing扩展Lambda演算是保守的。 低收入国家 1989 : 204-215 1985 [j1] 罗埃尔·C·德·弗里耶 :
有限发展定理的直接证明。 J.塞姆。 日志。 50 ( 2 ) : 339-343 ( 1985 )
1970 – 1979
1975 [c1] 罗埃尔·C·德·弗里耶 :
lambda演算中的大树,将lambda表达式作为类型。 兰巴达微积分与计算机科学理论 1975 : 252-271