编辑配置文件(在新选项卡中打开) 约翰·朗利。 合著者距离 作者ID: 朗利·约翰·r 发布日期: 约翰·朗利;约翰·朗利。 外部链接: MGP公司 已编制索引的文档: 18出版物自1997年以来,包括1本书 合著者: 9合著者具有6联合出版物 273合著作者 全部的 前5名合著者 12 单作者的 1 西蒙·芬恩 1 迈克尔·保罗·福曼 1 Furio Honsell 1 诺曼,达格 1 戈登·普洛金(Gordon D.Plotkin)。 1 兰迪·波拉克 1 唐纳德·桑内拉。 1 亚历克斯·K·辛普森。 1 安德烈·塔莱基 全部的 前5名系列 三 MSCS公司。计算机科学中的数学结构 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 计算机科学中的逻辑方法 1 可计算性 1 可计算性理论与应用 字段 14 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 2 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用125中的次96份文件 引用人▼ 年份▼ 高阶可计算性。 Zbl 1471.03002号 约翰·朗利;达格·诺曼 49 2015 顺序可实现泛函。 Zbl 1022.03023号 约翰·朗利 18 2002 更高类型的可计算性概念。一、。 Zbl 1095.03032号 约翰·朗利。 12 2005 可实现性模型中领域理论的统一方法。 Zbl 0934.03081号 约翰·朗利。;亚历克斯·K·辛普森。 12 1997 关于某些总型结构的普遍性。 Zbl 1132.03019号 约翰·朗利 7 2007 什么时候功能程序不是功能程序? Zbl 1345.68064号 约翰·朗利 7 1999 总设置中的部分功能。 Zbl 0870.68136号 西蒙·芬恩;迈克尔·P·福尔曼。;约翰·朗利 4 1997 匹配类型化和非类型化可实现性。 Zbl 0958.68096号 约翰·朗利 三 1999 逻辑完全抽象和PCF。 Zbl 0961.68081号 约翰·朗利;戈登·普洛金 三 1998 匹配类型化和非类型化可实现性。(扩展摘要)。 兹比尔0962.68088 约翰·朗利 三 2000 类型lambda演算中的构造数据精化。 Zbl 0965.68012号 Furio Honsell;约翰·朗利;唐纳德·桑内拉;安德烈·塔莱基 2 2000 可计算性结构、模拟和可实现性。 Zbl 1342.68132号 约翰·朗利 2 2014 游戏模型建议的一些编程语言(扩展抽象)。 Zbl 1337.68073号 约翰·朗利 2 2009 Isabelle/HOL中CBV功能程序的推理。 Zbl 1099.68732号 约翰·朗利;兰迪·波拉克 1 2004 高阶可计算性。 Zbl 1471.03002号 约翰·朗利;达格·诺曼 49 2015 可计算性结构、模拟和可实现性。 Zbl 1342.68132号 约翰·朗利 2 2014 游戏模型建议的一些编程语言(扩展抽象)。 Zbl 1337.68073号 约翰·朗利 2 2009 关于某些总类型结构的普遍性。 Zbl 1132.03019号 约翰·朗利 7 2007 更高类型的可计算性概念。一、。 Zbl 1095.03032号 约翰·朗利。 12 2005 Isabelle/HOL中CBV功能程序的推理。 Zbl 1099.68732号 约翰·朗利;兰迪·波拉克 1 2004 顺序可实现泛函。 Zbl 1022.03023号 朗利,约翰 18 2002 匹配类型化和非类型化可实现性。(扩展摘要)。 Zbl 0962.68088号 约翰·朗利 三 2000 类型lambda演算中的构造数据精化。 兹比尔0965.68012 Furio Honsell;约翰·朗利;唐纳德·桑内拉;安德烈·塔莱基 2 2000 什么时候功能程序不是功能程序? Zbl 1345.68064号 约翰·朗利 7 1999 匹配类型化和非类型化可实现性。 Zbl 0958.68096号 约翰·朗利 三 1999 逻辑完全抽象和PCF。 Zbl 0961.68081号 约翰·朗利;戈登·普洛金 三 1998 可实现性模型中领域理论的统一方法。 Zbl 0934.03081号 约翰·朗利。;亚历克斯·K·辛普森。 12 1997 总设置中的部分功能。 Zbl 0870.68136号 西蒙·芬恩;迈克尔·P·福尔曼。;约翰·朗利 4 1997 所有引用出版物 前5名被引用出版物 全部的 前5名81位作者引用 15 山姆·桑德斯 10 达格·诺曼 5 约翰·朗利。 5 塞巴斯蒂安·特维恩。 4 Hötzel Escardó,马汀 三 托马斯·埃哈德 三 亚历克斯·K·辛普森。 三 弗洛里安·斯坦伯格 三 霍尔格·蒂斯 三 雅普·范·奥斯汀 2 亨德里克·彼得·巴伦德雷格特 2 英戈·巴滕菲尔德 2 皮埃尔·布德斯 2 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 2 亚历山大·克劳斯 2 吉姆·莱尔德 2 卢卡·保里尼 2 艾奥西夫·彼得拉基斯 2 文森特·拉里 2 马蒂亚斯·施罗德 2 菲利普·斯科特。 2 托马斯·斯特里彻 2 Laurent Théry 2 本诺·范登伯格 2 Niels F.W.Voorneveld。 2 北海山田 1 萨姆森·艾布拉姆斯基 1 安德烈·鲍尔 1 乌尔里希·伯杰 1 马克·比克福德 1 英戈·布莱希施密特 1 波夫,安娜 1 陈彦光 1 陈一香 1 马丁·丘吉尔 1 科科特,J.罗宾B。 1 库珀、斯图亚特·巴里 1 皮埃尔·卢伊斯·居里 1 库卡斯·扎伊卡 1 汤姆·J·德容。 1 Matthias埃贝尔 1 艾米·费尔蒂(Amy P.Felty)。 1 雨果·弗雷 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 马可·加博阿迪 1 安东·戈洛夫 1 古德蒙德·格罗夫 1 Ho,翁金 1 Furio Honsell 1 侯铁 1 海兰德·J·马丁·E·。 1 杰格,格哈德 1 阿希姆·荣格 1 巴兹尔·卡戴斯。 1 伊斯托克·卡夫克勒 1 卡夫沃斯,G.A。 1 佐藤·肯塔罗 1 Konečný,迈克尔 1 克里斯蒂娜·利夫克 1 汉斯·沃夫冈·洛伊德 1 盖·安德鲁·麦库斯克 1 佐藤中田 1 戴维·诺曼(David A.Naumann)。 1 罗伯特·帕曼 1 毛罗·皮科洛 1 罗伊斯,伯恩哈德 1 蒂莫泰·罗斯布罗克 1 朱塞佩·罗索里尼 1 鲁本·罗伊,N.S。 1 詹姆斯·罗耶(James S.Royer)。 1 大卫·萨贝尔 1 唐纳德·桑内拉。 1 曼弗雷德·施密特·沙乌 1 保罗·沙弗 1 索索、马蒂厄 1 乔纳森·斯特林 1 威廉·沃克·泰特 1 波琳娜州维诺格拉多瓦 1 徐创杰 1 Xu,Kevin H。 1 Jetze Zoethout 全部的 前5名17篇连载文章中引用 13 纯逻辑与应用逻辑年鉴 10 理论计算机科学 9 MSCS公司。计算机科学中的数学结构 6 计算机科学中的逻辑方法 5 信息与计算 4 符号逻辑杂志 2 圣母院形式逻辑杂志 2 自动推理杂志 2 Indagationes Mathematicae公司。新系列 2 符号逻辑公报 2 可计算性 1 计算机与系统科学杂志 1 合成 1 函数编程杂志 1 自然与社会中的离散动力学 1 数学逻辑杂志 1 数学科学研究 全部的 前5名13个领域引用 72 数学逻辑和基础(03-XX) 55 计算机科学(68至XX) 12 范畴理论;同调代数(18-XX) 三 历史和传记(01-XX) 三 阶、格、有序代数结构(06-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 实际功能(26年X月X日) 1 测量和集成(28-XX) 1 动力系统和遍历理论(37至XX) 1 一般拓扑结构(54至XX) 1 量子理论(81-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文