弗·扬·德弗里斯
人员信息
附属: 英国莱斯特大学
优化列表
2020年–今天
2021 [公元14年] 弗·扬·德弗里斯 :
在λ-演算中编码多值逻辑。 日志。 方法计算。 科学。 17 ( 2 ) : 25 ( 2021 )
2010 – 2019
2018 [i1] 弗·扬·德弗里斯 :
λ-演算中的多值逻辑:Church用B{\“}欧姆树拯救了Russell。 CoRR公司 abs/1810.07667 ( 2018 ) 2017 [j13] 保拉·塞弗里 , 弗·扬·德弗里斯 :
无穷eta-Böhm树的无穷lambda演算。 数学。 结构。 计算。 科学。 27 ( 5 ) : 681-733 ( 2017 ) 2016 [第18条] 弗·扬·德弗里斯 :
关于Lambda定义中的未定义和无意义。 金融稳定与发展部 2016 : 18:1-18:15 2015 [第17条] 亚历山大·库尔兹 , 阿尔贝托·帕尔多 , 丹妮拉·佩特里桑 , 保拉·塞弗里 , 弗·扬·德弗里斯 :
嵌套不动点的近似-参数数据类型的拼图视图。 CALCO公司 2015 : 205-220 2013 [公元12年] 亚历山大·库兹 , 丹妮拉·佩特里桑 , 保拉·塞弗里 , 弗·扬·德弗里斯 :
名义代数数据类型及其在Lambda微积分中的应用。 日志。 方法计算。 科学。 9 ( 4 ) ( 2013 ) [第16条] 保拉·塞弗里 , 弗·扬·德弗里斯 :
超几何模型反应程序之间转换的完备性。 薄层色谱分析 2013 : 221-235 2012 [第15条] 亚历山大·库兹 , 丹妮拉·佩特里桑 , 保拉·塞弗里 , 弗·扬·德弗里斯 :
无限Lambda微积分的阿尔法预测原理。 CMCS公司 2012 : 130-149 [第14条] 保拉·塞弗里 , 弗·扬·德弗里斯 :
流上具有同余的纯类型系统:从有限到无限正规化。 ICFP公司 2012 : 141-152 [第13条] 保拉·塞弗里 , 弗·扬·德弗里斯 :
无限组合逻辑中的无意义集。 区域贸易协定 2012 : 288-304 2011 [第12条] 保拉·塞弗里 , 弗·扬·德弗里斯 :
弱化无穷Lambda演算中重叠公理。 区域贸易协定 2011 : 313-328 [第11条] 保拉·塞弗里 , 弗·扬·德弗里斯 :
无限Lambda演算中无意义集格的分解。 沃尔利克 2011 : 210-227
2000 – 2009
2005 [第10条] 理查德·肯纳韦 , 保拉·塞弗里 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
无限改写:从语法到语义。 过程、术语和周期 2005 : 148-172 【c9】 保拉·塞弗里 , 弗·扬·德弗里斯 :
类Böhm模型上的序结构。 CSL公司 2005 : 103-118 【c8】 保拉·塞弗里 , 弗·扬·德弗里斯 :
兰姆达微积分中的连续性和间断性。 薄层色谱分析 2005 : 369-385 2003 [公元11年] Mariangiola Dezani-Ciancaglini公司 , 保拉·塞弗里 , 弗·扬·德弗里斯 :
无限lambda演算与Berarducci树的判别。 西奥。 计算。 科学。 298 ( 2 ) : 275-302 ( 2003 ) 2002 [公元10年] 斯特芬·范·贝克尔 , 弗兰科·巴巴内拉 , Mariangiola Dezani-Ciancaglini公司 , 弗·扬·德弗里斯 :
lambda-trees的交集类型。 西奥。 计算。 科学。 272 ( 1-2 ) : 3-40 ( 2002 ) 【c7】 保拉·塞弗里 , 弗·扬·德弗里斯 :
一个扩展的Böhm模型。 区域贸易协定 2002 : 159-173 2000 【c6】 Mariangiola Dezani-Ciancaglini公司 , 保拉·塞弗里 , 弗·扬·德弗里斯 :
Berarducci树的Böhm定理。 猫 2000 : 34-57
1990 – 1999
1999 [公元9年] 理查德·肯纳韦 , 文森特·范·奥斯特罗姆 , 弗·扬·德弗里斯 :
重写中的无意义术语。 J.功能。 日志。 程序。 1999 ( 1 ) ( 1999 ) 1998 [c5] 弗兰科·巴巴内拉 , Mariangiola Dezani-Ciancaglini公司 , 弗·扬·德弗里斯 :
树的类型。 比重计 1998 : 11-29 1997 [j8] 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
无限Lambda微积分。 西奥。 计算。 科学。 175 ( 1 ) : 93-125 ( 1997 ) 1996 [j7] 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
比较Curried和Uncurried Rewriting。 J.塞姆。 计算。 21 ( 1 ) : 15-39 ( 1996 ) 【c4】 理查德·肯纳韦 , 文森特·范·奥斯特罗姆 , 弗·扬·德弗里斯 :
重写中的无意义术语。 碱性磷酸酶 1996 : 254-268 1995 [j6] 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
正交项重写系统中的超有限约简。 Inf.计算。 119 ( 1 ) : 18-38 ( 1995 ) [j5] 扬·范·埃伊克 , 弗·扬·德弗里斯 :
推理更新逻辑。 J.菲洛斯。 日志。 24 ( 1 ) : 19-45 ( 1995 ) 【c3】 理查德·肯纳韦 , 简·威廉·克洛普 , M.罗南睡眠 , 弗·扬·德弗里斯 :
无穷大Lambda微积分和Böhm模型。 区域贸易协定 1995 : 257-270 1994 【j4】 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
图形重写对模拟项重写的充分性。 ACM事务处理。 程序。 语言系统。 16 ( 三 ) : 493-523 ( 1994 ) 【c2】 泽纳·M·阿里奥拉 , 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
未定义的句法定义:关于未定义的定义。 节气门执行器控制系统 1994 : 543-554 1992 [j3] 扬·范·埃伊克 , 弗·扬·德弗里斯 :
动态解释和Hoare演绎。 J.日志。 语言信息。 1 ( 1 ) : 1-44 ( 1992 ) 1991 【c1】 理查德·肯纳韦 , 简·威廉·克洛普 , M.Ronan睡眠 , 弗·扬·德弗里斯 :
正交项重写系统中的超有限约简(扩展抽象)。 区域贸易协定 1991 : 1-12
1980 – 1989
1988 [注2] 德克·范·戴伦 , 弗扬·德弗里斯 :
直觉自由阿贝尔群。 数学。 日志。 问:。 34 ( 1 ) : 3-12 ( 1988 ) [j1] 弗·扬·德弗里斯 :
快速傅里叶变换的函数程序。 ACM SIGPLAN通知 23 ( 1 ) : 67-74 ( 1988 )