编辑配置文件(在新选项卡中打开) J.Roger欣德利 合著者距离 作者ID: 辛德利·j·罗格 发布日期: J.Roger欣德利;辛德利,J.R。;J.Roger欣德利。 更多。。。较少的 已编制索引的文档: 20出版物自1972年以来,包括6本书 3作为编辑的贡献·1进一步贡献 合著者: 9合著者具有12联合出版物 172位合作作者 全部的 前5名合著者 11 单作者的 6 乔纳森·塞尔丁。 4 马丁·邦德。 2 马里亚纽拉州Dezani-Ciancaglini 2 大卫·梅雷迪斯 1 彼得·阿策尔 1 亨德里克·彼得·巴伦德雷格特 1 科拉多·伯姆 1 圣人,奈姆 1 马里奥·科普 1 咖喱、哈斯克尔·布鲁克斯 1 尼古拉斯·戈弗特·德布鲁因 1 菲利普·德格罗特 1 朱斯塔斯·迪勒 1 费费曼,所罗门 1 菲奇,弗雷德里克·布伦顿 1 罗宾·甘迪。 1 保罗·C·吉尔摩。 1 库尔特·哥德尔 1 威廉·阿尔文·霍华德 1 约翰·T·卡恩斯。 1 扬·威廉·克鲁普 1 科曼斯,喀斯特 1 亚历山大·谢尔盖维奇·库齐切夫 1 约阿希姆·兰贝克 1 布鲁斯·勒彻 1 珍妮·雅克·利维 1 朱塞佩·隆戈 1 Gerd Mitschke先生 1 戈登·普洛金(Gordon D.Plotkin)。 1 加勒尔·波廷格 1 路易斯·埃尔皮迪奥·桑奇斯 1 达娜·斯图尔特·斯科特 1 理查德·斯塔特曼 1 彼得·特里格 1 维内里,B。 1 阿尔伯特·维瑟 1 克里斯托弗·沃兹沃思。 全部的 前5名系列 6 理论计算机科学 2 符号逻辑杂志 2 剑桥理论计算机科学丛书 1 《伦敦数学学会通报》 1 哲学逻辑杂志 1 圣母院形式逻辑杂志 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 计算的形式方面 1 逻辑与计算杂志 1 计算机科学课堂讲稿 1 伦敦数学学会讲义系列 1 伦敦数学学会学生课文 1 逻辑与数学基础研究 领域 24 数学逻辑和基础(03-XX) 8 计算机科学(68至XX) 三 总体主题;集合(00-XX) 三 历史和传记(01-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 19出版物有被引用666中的次547文件 引用人▼ 年份▼ 组合子和(lambda)-演算简介。 Zbl 0614.03014号 J.Roger欣德利;乔纳森·塞尔丁。 188 1986 致H.B.Curry:关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号 146 1980 组合逻辑。第二卷。 Zbl 0242.02029 哈斯克尔·柯里。;J.Roger欣德利;乔纳森·塞尔丁。 85 1972 基本的简单类型理论。 Zbl 0906.03012号 J.Roger欣德利 61 1997 Lambda-calculus和组合子,简介。第二次修订和更新版。 Zbl 1149.03016号 J.Roger欣德利;乔纳森·塞尔丁。 48 2008 组合逻辑导论。 Zbl 0269.02005 辛德雷,J.R。;莱彻,B。;塞尔丁,J.P。 38 1972 Coppo-Dezani-Salle类型的简单语义。 Zbl 0514.03009号 辛德雷,J.R。 17 1982 BCK-组合子和线性(lambda)项有类型。 Zbl 0671.03010号 J.Roger欣德利 16 1989 组合逻辑的交集类型。 Zbl 0771.03004号 马里亚纽拉州Dezani-Ciancaglini;J.Roger欣德利 12 1992 主要类型方案和浓缩分离。 Zbl 0708.03007号 辛德雷,J.罗杰;大卫·梅雷迪斯 12 1990 Coppo-Dezani类型与命题逻辑不对应。 Zbl 0529.03003号 J.Roger欣德利 9 1984 使用\({\mathbf B}\)、\({\ mathbf B}^\prime)和friends进行组合抽象。 Zbl 0838.03012号 彼得·特里格;J.Roger欣德利;马丁·邦德。 7 1994 关于有限观点迄今为止尚未开发的延伸。 Zbl 0433.03040号 库尔特·哥德尔 7 1980 BCK和BCI逻辑、凝聚分离和2-性质。 Zbl 0787.03010号 J.Roger欣德利 7 1993 lambda演算中的组合弱约简。 Zbl 0902.68116号 圣人,奈姆;J.Roger欣德利 6 1998 带交集的类型:简介。 Zbl 0774.03002号 J.Roger欣德利 5 1992 基本的简单类型理论。带更正的平装版重印。 Zbl 1135.03006号 J.Roger欣德利 5 2008 M.H.纽曼的lambda-calculus典型算法。 兹比尔1147.03006 J.Roger欣德利 三 2008 关于组合逻辑中弱等式的加法。 Zbl 0702.03007号 马丁·邦德。;J.Roger欣德利。;乔纳森·塞尔丁。 1 1989 Lambda-calculus和组合子,简介。第二次修订和更新版。 Zbl 1149.03016号 J.Roger欣德利;乔纳森·塞尔丁。 48 2008 基本的简单类型理论。带更正的平装版重印。 兹比尔1135.03006 J.Roger欣德利 5 2008 M.H.纽曼的lambda-calculus典型算法。 Zbl 1147.03006号 J.Roger欣德利 三 2008 lambda演算中的组合弱约简。 Zbl 0902.68116号 圣人,奈姆;J.Roger欣德利 6 1998 基本的简单类型理论。 Zbl 0906.03012号 J.Roger欣德利 61 1997 使用\({\mathbf B}\)、\({\ mathbf B}^\prime)和friends进行组合抽象。 Zbl 0838.03012号 彼得·特里格;J.Roger欣德利;马丁·邦德。 7 1994 BCK和BCI逻辑、凝聚分离和2-性质。 Zbl 0787.03010号 J.Roger欣德利 7 1993 组合逻辑的交集类型。 Zbl 0771.03004号 马里亚纽拉州Dezani-Ciancaglini;辛德雷,J.罗杰 12 1992 带交集的类型:简介。 Zbl 0774.03002号 J.Roger欣德利 5 1992 主要类型方案和浓缩分离。 兹比尔0708.03007 J.Roger欣德利;大卫·梅雷迪斯 12 1990 BCK-组合子和线性(lambda)项有类型。 Zbl 0671.03010号 J.Roger欣德利 16 1989 关于组合逻辑中弱等式的加法。 Zbl 0702.03007号 马丁·邦德。;J.Roger欣德利。;乔纳森·塞尔丁。 1 1989 组合子和(lambda)-演算简介。 Zbl 0614.03014号 辛德雷,J.罗杰;乔纳森·塞尔丁。 188 1986 Coppo-Dezani类型与命题逻辑不对应。 Zbl 0529.03003号 J.Roger欣德利 9 1984 Coppo-Dezani-Salle类型的简单语义。 Zbl 0514.03009号 辛德利,J.R。 17 1982 致H.B.Curry:关于组合逻辑、lambda微积分和形式主义的论文。 Zbl 0469.03006号 146 1980 关于有限观点迄今为止尚未开发的延伸。 Zbl 0433.03040号 库尔特·哥德尔 7 1980 组合逻辑。第二卷。 Zbl 0242.02029 哈斯克尔·柯里。;J.Roger欣德利;乔纳森·塞尔丁。 85 1972 组合逻辑导论。 Zbl 0269.02005 辛德利,J.R。;莱彻,B。;塞尔丁,J.P。 38 1972 所有引用出版物 前5名被引用出版物 全部的 前5名535位作者引用 13 马丁·邦德。 13 马里亚纽拉州Dezani-Ciancaglini 12 乔纳森·塞尔丁。 10 Sachio Hirokawa 9 J.Roger欣德利 8 阿尔维斯,桑德拉 8 亨德里克·彼得·巴伦德雷格特 8 比姆博,卡塔林 7 马里奥弗洛里多 7 罗杰·辛德利 7 苏拉布·O·卡西达什维利。 7 扬·威廉·克鲁普 7 西蒙娜·隆奇·德尔拉·罗卡 7 范·贝克尔,斯特芬 6 萨宾·布罗达 6 玛丽贝尔·费尔南德斯 5 西尔维娅·吉勒赞 5 Fairouz D.卡马雷丁。 5 小森,Yuichi 5 朱塞佩·隆戈 5 塞巴斯蒂安·特维恩。 4 马里奥·科普 4 达马斯,路易斯 4 Ruy JoséGuerra Barretto De Queiroz 4 丹尼尔·多尔蒂(Daniel J.Dougherty)。 4 曼弗雷德·德罗斯特 4 让·H·盖利尔。 4 约翰·格劳特 4 罗伯特·哈珀 4 杰拉德·P·休特。 4 哈里·乔治·梅森 4 西蒙·马提尼 4 戴维·桑吉奥吉 4 威廉·斯特顿。 4 文森特·范·奥斯特罗姆 三 萨姆森·艾布拉姆斯基 三 佛朗哥·巴巴内拉 三 David A.Basin。 三 英格·贝斯克 三 罗伊·克罗。 三 乌戈·德利古罗 三 埃斯皮里托·桑托(Espírito Santo)、何塞·卡洛斯(JoséCarlos) 三 克劳迪娅·法根 三 尼西姆·弗朗西兹 三 藤田,健毅 三 Sean A.Fulop。 三 默多克·詹姆斯·加贝 三 简·赫尔曼·杰弗斯 三 杰·巴里 三 迈克尔·科尔哈塞 三 特温·拉恩 三 皮埃尔·莱斯坎 三 詹姆斯·利普顿(James B.Lipton)。 三 路易吉·利古里 三 伊恩·麦基 三 伊内斯·玛格丽亚 三 松田直介 三 穆罕默德·梅兹基奇 三 米纳里,皮尔路易吉 三 尤金尼奥·莫吉 三 罗伯·奈德佩尔特 三 卢卡·保里尼 三 克里斯蒂安·普雷霍弗 三 雅各布·雷霍夫 三 西尔万·萨尔瓦蒂 三 安德烈·索比 三 索伦森,莫滕·海涅B。 三 理查德·斯塔特曼 三 托马斯·斯特拉姆 三 保罗·塔劳 三 巴威·乌尔兹琴 三 哇,拉里 三 马达莱娜·扎基 2 佩德罗·安吉洛 2 安德鲁·培根 2 奇塔·R·巴拉尔。 2 Jan A.Bergstra。 2 香塔尔·伯林 2 克劳迪奥·贝尔纳迪 2 艾哈迈德·巴亚特 2 沃尔夫冈·比贝尔 2 杰拉德·布多尔 2 费利佩·布拉乔 2 安东尼奥·布恰雷利 2 安德烈亚·坎蒂尼 2 罗伯特·李,警察 2 可口、蒂埃里 2 库卡斯·扎伊卡 2 费卢西奥·达米亚尼 2 德奥利维拉(de Oliveira)、安若琳娜·格里西(Anjolina Grisi) 2 Wil J.M.德克斯。 2 拉斐尔·德尔瓦多·维塞达 2 纳鸿·德肖维茨 2 Jean-Pierre Descés 2 V.N.多姆拉乔夫。 2 Gilles Dowek 2 托马斯·德拉肯格伦 2 安德烈·杜登赫夫纳 2 乔恩·迈克尔·邓恩 2 托马斯·埃尔哈德 …还有435名作者 全部的 前5名68篇连载文章中引用 130 理论计算机科学 35 符号逻辑杂志 30 信息与计算 25 纯逻辑与应用逻辑年鉴 17 MSCS公司。计算机科学中的数学结构 14 Studia Logica公司 11 数学逻辑档案 10 圣母院形式逻辑杂志 10 函数编程杂志 9 符号计算杂志 8 哲学逻辑杂志 8 自动推理杂志 8 符号逻辑公报 7 信息处理信件 6 逻辑、语言与信息杂志 5 RAIRO,Informatique Théorique公司 5 计算机科学中的逻辑方法 4 Archive für Mathematische Logik und Grundlagenforschung公司 4 计算机与系统科学杂志 三 纯粹与应用代数杂志 三 合成 三 美国数学学会会刊 三 计算机科学与技术杂志 三 计算的形式方面 三 工程、通信和计算中的应用代数 三 数学逻辑季刊(MLQ) 三 泛逻辑 三 符号逻辑综述 2 信息学报 2 离散应用数学 2 应用数学与计算 2 模糊集与系统 2 逻辑科公报 2 控制论 2 逻辑历史与哲学 2 数学科学杂志(纽约) 2 高阶和符号计算 2 逻辑与代数程序设计杂志 2 逻辑程序设计理论与实践 2 ACM计算逻辑事务 2 应用逻辑杂志 1 计算机与数学及其应用 1 核物理。B类 1 数学信使 1 代数与逻辑 1 钻头 1 《伦敦数学学会通报》 1 国际计算机与信息科学杂志 1 斯洛伐克数学 1 美国数学学会会刊 1 西伯利亚数学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 控制论与系统分析 1 应用非经典逻辑杂志 1 土耳其数学杂志 1 组合数学电子杂志 1 联合国证券交易所 1 计算系统理论 1 组合年刊 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 洛巴切夫斯基数学杂志 1 逻辑与逻辑哲学 1 亚欧数学杂志 1 理论生物学杂志 1 可计算性 1 Chamchuri数学杂志 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名16个领域引用 412 数学逻辑和基础(03-XX) 309 计算机科学(68至XX) 24 范畴理论;同调代数(18-XX) 10 历史和传记(01-XX) 7 总体主题;集合(00-XX) 7 阶、格、有序代数结构(06-XX) 7 一般代数系统(08-XX) 6 组合数学(05-XX) 2 概率论与随机过程(60-XX) 2 量子理论(81-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 生物学和其他自然科学(92-XX) 2 信息与通信理论、电路(94-XX) 1 数论(11-XX) 1 几何图形(51至XX) 1 代数拓扑(55-XX) 按年份列出的引文