威尔·德克尔斯
人员信息
优化列表
2010 – 2019
2015 【c1】 阿列克西·舒伯特 , 威尔·德克尔斯 , 亨德里克·彼得·巴伦德雷特 :
证明搜索的自动机理论说明。 CSL公司 2015 : 128-143 2013 【b1】 亨德里克·彼得·巴伦德雷特 , 威尔·德克尔斯 , 理查德·斯塔特曼 :
带类型的Lambda微积分。 逻辑视角 , 剑桥大学出版社 2013 ,十亿 978-0-521-76614-2 第I-XXII页,1-833页 2011 [i2] 威尔·德克尔斯 :
弱mu-equality是可以决定的。 CoRR公司 abs/1102.0155 ( 2011 )
2000 – 2009
2008 [j7] 马丁·邦德 , 威尔·德克尔斯 :
有Hilbert-style纯类型系统吗? 日志。 方法计算。 科学。 4 ( 1 ) ( 2008 ) 2007 [i1] 马丁·邦德 , 威尔·德克尔斯 :
有Hilbert-style纯类型系统吗? CoRR公司 abs/0707.0890 ( 2007 ) 2001 [j6] 马丁·邦德 , 威尔·德克尔斯 :
具有更多自由规则的纯类型系统。 J.塞姆。 日志。 66 ( 4 ) : 1561-1580 ( 2001 )
1990 – 1999
1998 [j5] 威尔·德克尔斯 , 马丁·邦德 , 亨克·巴伦德雷格特 :
一阶命题演算和谓词演算的两个推理组合逻辑系统的完备性。 架构(architecture)。 数学。 日志。 37 ( 5-6 ) : 327-341 ( 1998 ) 【j4】 威尔·德克尔斯 , 马丁·邦德 , 亨克·巴伦德雷格特 :
命题作为类型的完备性将直觉逻辑解释为推理组合逻辑。 J.塞姆。 日志。 63 ( 三 ) : 869-890 ( 1998 ) 1995 [j3] 威尔·德克尔斯 :
简单类型Lambda微积分中类型的驻留。 Inf.计算。 119 ( 1 ) : 14-17 ( 1995 ) 1993 [注2] 亨克·巴伦德雷格特 , 马丁·邦德 , 威尔·德克尔斯 :
一阶命题和谓词演算完整的演绎组合逻辑系统。 J.塞姆。 日志。 58 ( 三 ) : 769-788 ( 1993 )
1980 – 1989
1988 [j1] 威尔·德克尔斯 :
打字Lambda微积分中类型的可简化性:对Richard Statman的一篇论文的评论。 Inf.计算。 77 ( 2 ) : 131-137 ( 1988 )