理查德·斯塔特曼
人员信息
附属: 美国匹兹堡卡内基梅隆大学
优化列表
书籍和论文
2013 【b1】 亨德里克·彼得·巴伦德雷特 , 威尔·德克尔斯 , 理查德·斯塔特曼 :
带类型的Lambda微积分。 逻辑视角 , 剑桥大学出版社 2013 ,国际标准图书编号 978-0-521-76614-2 ,第I-XXII页,第1-833页
期刊文章
2022 [公元36年] 安德鲁·波伦斯基 , 理查德·斯塔特曼 :
具有给定交集类型的术语集。 日志。 方法计算。 科学。 18 ( 3 ) ( 2022 ) 2019 [j35] 瑞克·斯塔特曼 :
交点类型的简单子类型。 芬丹。 信息学 170 ( 1-3 ) : 307-324 ( 2019 ) 2017 [公元34年] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
Lambda理论允许具有有限个不动点的项。 数学。 结构。 计算。 科学。 27 ( 3 ) : 405-427 ( 2017 ) [公元33年] 瑞克·斯塔特曼 :
驯服野生蚂蚁; Böhm猜想的反例。 数学。 结构。 计算。 科学。 27 ( 5 ) : 734-737 ( 2017 ) 2014 [公元32年] 瑞克·斯塔特曼 :
关于非类型化术语的多态类型。 J.计算。 系统。 科学。 80 ( 6 ) : 1163-1173 ( 2014 ) 2011 [公元31年] Benedetto Intrigila公司 , 理查德·斯塔特曼 :
组合逻辑范围问题的求解。 芬丹。 信息学 111 ( 2 ) : 203-222 ( 2011 ) 2009 【j30】 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
欧米茄法则是∏ 1 1 -完成λβ-微积分。 日志。 方法计算。 科学。 5 ( 2 ) ( 2009 ) 2007 [公元29年] 瑞克·斯塔特曼 :
关于alpha转换的复杂性。 J.塞姆。 日志。 72 ( 4 ) : 1197-1203 ( 2007 ) 2006 [公元28年] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
Barendregt问题在Sensible lambda-Theories上的求解。 日志。 方法计算。 科学。 2 ( 4 ) ( 2006 ) 2005 [公元27年] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
关于lambda演算中可拓性的一些结果。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 109-125 ( 2005 ) 2004 [公元26年] 理查德·斯塔特曼 :
在lambda上 Y(Y) 微积分。 Ann.纯粹应用。 日志。 130 ( 1-3 ) : 325-337 ( 2004 ) 2001 [公元25年] 理查德·斯塔特曼 :
Jacopini定理的边缘。 芬丹。 信息学 45 ( 1-2个 ) : 117-121 ( 2001 ) 1999 [公元24年] 理查德·斯塔特曼 , 亨克·巴伦德雷格特 :
Plotkin-Terms的应用:封闭项的划分和形态。 J.功能。 程序。 9 ( 5 ) : 565-575 ( 1999 ) [j23] 理查德·斯塔特曼 :
关于n而非n+1容易组合子的存在性。 数学。 结构。 计算。 科学。 9 ( 4 ) : 361-365 ( 1999 ) 1997 [公元22年] 巴利亚特·纳伦德兰 , 弗兰克·普芬宁 , 理查德·斯塔特曼 :
关于笛卡尔闭范畴的统一问题。 J.塞姆。 日志。 62 ( 2 ) : 636-647 ( 1997 ) 1993 [公元21年] 理查德·斯塔特曼 :
不存在组合器的一些示例。 西奥。 计算。 科学。 121 ( 1&2 ) : 441-448 ( 1993 ) 1992 [公元20年] 张开忠 , 理查德·斯塔特曼 , 丹尼斯·沙沙 :
关于无序标记树之间的编辑距离。 信息处理。 莱特。 42 ( 3 ) : 133-139年 ( 1992 ) 1989 [公元19年] 梅里克·L·福斯特 , 乔纳森·格罗斯 , 理查德·斯塔特曼 :
两类图的亏格分布。 J.库姆。 理论,Ser。 B 46 ( 1 ) : 22-36 ( 1989 ) [j18] 理查德·斯塔特曼 :
Smullyan的云雀组合器的单词问题是可以决定的。 J.塞姆。 计算。 7 ( 2 ) : 103-112 ( 1989 ) [公元17年] 理查德·斯塔特曼 :
关于组合方程的解集。 西奥。 计算。 科学。 66 ( 1 ) : 99-104 ( 1989 ) 1988 [公元16年] 迈克尔·E·萨克斯 , 瑞克·斯塔特曼 :
有限自动机的交集问题。 谨慎。 申请。 数学。 21 ( 3 ) : 245-255 ( 1988 ) 1986 [公元15年] 理查德·斯塔特曼 :
求解更高类型的函数方程:一些例子和一些定理。 圣母院J.正式日志。 27 ( 1 ) : 66至74 ( 1986 ) [j14] 阿娜·帕兹托 , 理查德·斯塔特曼 :
斯科特归纳和奥米加总结。 西奥。 计算。 科学。 43 : 第251页至第263页 ( 1986 ) [j13] 理查德·斯塔特曼 :
每个可数偏序集都可以嵌入到不可解项的偏序集中。 西奥。 计算。 科学。 48 ( 3 ) : 95-100 ( 1986 ) 1985 [公元12年] 理查德·斯塔特曼 :
逻辑关系和类型lambda-Calculus。 信息控制。 65 ( 2/3 ) : 85-97 ( 1985 ) 1984 [公元11年] 卡特里尔·比里 , 马丁·多德 , 罗纳德·费金 , 理查德·斯塔特曼 :
功能依赖的阿姆斯特朗关系结构。 美国临床医学杂志 31 ( 1 ) : 30-46 ( 1984 ) 1983 [公元10年] 理查德·斯塔特曼 :
λ -可定义泛函和 βη 转换。 架构(architecture)。 数学。 日志。 23 ( 1 ) : 21-26 ( 1983 ) 1982 [公元9年] 哈里·R·刘易斯 , 理查德·斯塔特曼 :
co-NLogSpace的统一性是完全的。 信息处理。 莱特。 15 ( 5 ) : 220至222 ( 1982 ) [j8] 理查德·斯塔特曼 :
三次图的拓扑子图和dirac定理。 J.图论 6 ( 4 ) : 419-427 ( 1982 ) [j7] 理查德·斯塔特曼 :
完整性、不变性和lambda-可定义性。 J.塞姆。 日志。 47 ( 1 ) : 17-26 ( 1982 ) 1981 [j6] 理查德·斯塔特曼 :
图重建猜想的约简。 谨慎。 数学。 36 ( 1 ) : 103-107 ( 1981 ) [j5] 理查德·斯塔特曼 :
关于类型lambda演算中闭项的存在性Ⅱ:统一问题的变换。 西奥。 计算。 科学。 15 : 329-338 ( 1981 ) 1980 【j4】 理查德·斯塔特曼 :
解决张和李的问题。 圣母院J.正式日志。 21 ( 3 ) : 518-520 ( 1980 ) [j3] 理查德·斯塔特曼 :
具有Paramodulation的输入分辨率的最坏情况指数下限。 SIAM J.计算。 9 ( 1 ) : 104-110 ( 1980 ) 1979 [注2] 理查德·斯塔特曼 :
直觉命题逻辑是多项式空间完备的。 西奥。 计算。 科学。 9 : 67至72 ( 1979 ) [j1] 理查德·斯塔特曼 :
类型化lambda-Calculus不是初等递归。 西奥。 计算。 科学。 9 : 73-81 ( 1979 )
会议和研讨会文件
2022 [公元33年] 瑞克·斯塔特曼 :
Lambda微积分和组合逻辑的有限生成和表示问题。 线性调频控制系统 2022 : 316-326 2021 [公元32年] 瑞克·斯塔特曼 :
Church的半群是Sq-Universal。 金融稳定与发展部 2021 : 6:1-6:6 2020 [公元31年] 理查德·斯塔特曼 :
只有一个对象的类别中的产品。 ACT公司 2020 : 347-353 2018 [公元30年] 瑞克·斯塔特曼 :
操作语义BCD的完整性。 线性调频控制系统 2018 : 331-336 2016 [公元29年] 瑞克·斯塔特曼 :
征税标签和递归类型。 线性调频控制系统 2016 : 392-406 [公元28年] 理查德·斯塔特曼 :
操作语义BCD的完整性。 类型 2016 : 15:1-15:5 [公元27年] 瑞克·斯塔特曼 :
关于Lambda演算中半群和其他同余的表示。 MFPS公司 2016 : 299-304 [公元26年] 瑞克·斯塔特曼 :
如何将交集类型视为笛卡尔积。 MFPS公司 2016 : 305-312 2014 [公元25年] 瑞克·斯塔特曼 :
近半环和兰姆达微积分。 RTA-薄层色谱分析 2014 : 410-424 [公元24年] 瑞克·斯塔特曼 :
相交类型的有限模型属性。 ITRS公司 2014 : 1-9 2013 【c23】 瑞克·斯塔特曼 :
强规范化项的一种新类型赋值。 CSL公司 2013 : 634-652 2011 [公元22年] 瑞克·斯塔特曼 :
论非类型化术语的多态类型。 沃尔利克 2011 : 239-256 2010 【c21】 瑞克·斯塔特曼 :
笛卡尔单体。 MFPS公司 2010 : 437-451 2007 [公元20年] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
欧米茄法则是P 1 1 -在中完成 兰达贝塔 -微积分。 薄层色谱分析 2007 : 178-193 2005 [第19条] 理查德·斯塔特曼 , 亨克·巴伦德雷格特 :
Böhm定理、Church’s Delta、数字系统和Ershov Morphisms。 过程、术语和周期 2005 : 40-54岁 [第18条] 理查德·斯塔特曼 :
两个变量是不够的。 信息通信与通信系统 2005 : 406-409 2004 [第17条] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
Omega规则在lambda beta-Calculus中是II_2^0-Hard。 低收入国家 2004 : 202-210 2002 [第16条] 理查德·斯塔特曼 :
关于Lambda Y微积分。 低收入国家 2002 : 159-166 2000 [第15条] 理查德·斯塔特曼 :
Church的Lambda Delta微积分。 LPAR公司 2000 : 293-307 [第14条] 理查德·斯塔特曼 :
关于组合词的单词问题。 区域贸易协定 2000 : 203-213年 1999 [第13条] 理查德·斯塔特曼 :
Jacopini定理的结果:一致的等式和方程。 薄层色谱分析 1999 : 355-364 1998 [第12条] 理查德·斯塔特曼 :
V集的形态和分割。 CSL公司 1998 : 313-322 1997 [第11条] 理查德·斯塔特曼 :
组合器的有效简化和转换策略。 区域贸易协定 1997 : 299-307 1996 [第10条] 理查德·斯塔特曼 :
关于笛卡尔幺半群。 CSL公司 1996 : 446-459 1993 【c9】 巴利亚特·纳伦德兰 , 弗兰克·普芬宁 , 理查德·斯塔特曼 :
关于笛卡尔闭范畴的统一问题。 低收入国家 1993 : 57-63 1992 【c8】 乌戈·德利古罗 , 阿道夫·皮佩诺 , 理查德·斯塔特曼 :
在简单类型的lambda-beta-eta-calculus中缩回。 低收入国家 1992 : 461-469 1991 【c7】 理查德·斯塔特曼 :
组合子单体的Freyd层次。 低收入国家 1991 : 186-190 1988 【c6】 约翰·切尔尼亚夫斯基 , 马亨德兰·维拉萨皮莱 , 理查德·斯塔特曼 :
归纳推理:抽象方法。 COLT公司 1988 : 251-266 1987 【c5】 阿尔伯特·梅耶 , 约翰·米切尔 , 尤金尼奥·莫吉 , 理查德·斯塔特曼 :
多形Lambda微积分中的空类型。 POPL公司 1987 : 253-262 1986 【c4】 理查德·斯塔特曼 :
关于Lambda术语到组合词的翻译; 基础问题。 许可证 1986 : 378-382 1981 【c3】 理查德·斯塔特曼 :
可由多态程序计算的数论函数(扩展抽象)。 光纤通信系统 1981 : 279-282 1979 【c2】 约翰·古雷 , 威廉·C·罗兹 , 理查德·斯塔特曼 :
关于并发系统的收缩所保持的性质。 并发计算的语义 1979 : 51-65 1977 【c1】 理查德·斯塔特曼 :
类型化的lambda-Calculus不是初等递归。 光纤通信系统 1977 : 90-94
非正式出版物和其他出版物
2023 [i3] 理查德·斯塔特曼 , 吉尔斯·道克 :
关于Statman的有限完全性定理。 CoRR公司 腹肌/2309.03602 ( 2023 ) 2018 [i2] 理查德·斯塔特曼 :
具有给定交集类型的术语集。 CoRR公司 abs/1809.08169 ( 2018 ) 2006 [i1] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
关于可感lambda理论的Barendrigt问题的解。 CoRR公司 abs/cs/0609080 ( 2006 )