编辑配置文件（在新选项卡中打开） 约翰·米切尔（John C.Mitchell）。 合著者距离 作者ID： 米切尔·约翰逊 发布日期： 约翰·米切尔（John C.Mitchell）。;约翰·米切尔;J·米切尔。;J.C.米切尔。 更多。。。较少的 主页： http://theory.stanford.edu/people/jcm/ 已编制索引的文档： 75出版物自1983年以来，包括1本书 6作为编辑的贡献 审查活动： 3评论 合著者： 58位合著者具有65联合出版物 1321合著作者 全部的 前5名合著者 15 单作者的 19 安德烈·斯切德罗夫 8 阿努帕姆·达塔 7 帕特里克·D·林肯。 6 卢卡·卡德利 6 安特·德里克 6 阿吉思·拉马纳森 6 维塔利·什马提科夫 4 凯萨琳·费希尔 4 瓦妮莎·乔伊·提格 三 艾伯特·罗纳德·梅耶 三 德伊安·斯特凡 2 吉尔·巴特 2 罗希特·查达 2 南希·杜金（Nancy A.Durgin）。 2 爱德华·法格霍姆 2 达里奥·菲奥雷 2 斯蒂芬·尼尔（Stephen Neal Freund） 2 库尔斯特，拉尔夫 2 李宁辉 2 西蒙·马提尼 2 大卫·马齐埃尔 2 阿纳布·罗伊 2 亚历杭德罗·拉索 2 Benedikt施密特 2 图鲁阿尼，马蒂厄 2 拉梅什·维斯瓦纳坦 2 乔·齐默尔曼 1 迈克尔·巴克斯 1 亚历克斯·贝恩。 1 David A.Basin。 1 维维亚娜·博诺 1 布鲁斯（Kim B.Bruce）。 1 巴勃罗·布伊拉斯 1 Elie Bursztein 1 伊利亚诺·塞维萨托 1 休伯特·科蒙 1 维罗尼克·科尔蒂尔 1 辛西娅·德沃克 1 卡尔·A·冈特。 1 Masami Hagiya 1 罗伯特·哈珀 1 黄，M。 1 Furio Honsell 1 布莱恩·霍华德。 1 拉利塔·A·贾特冈卡尔。 1 卡内拉基斯，巴黎克里斯托斯 1 斯图亚特·库尔茨（Stuart A.Kurtz）。 1 阿米特·利维 1 让-雅克·利维 1 恩斯特·梅尔（Ernst W.Mayr）。 1 尤金尼奥·莫吉 1 迈克尔·奥唐纳。 1 阿米特·帕特尔。 1 巴甫洛维奇，杜什科 1 菲利普·斯科特。 1 Natarajan Shankar 1 拉胡尔·夏尔马 1 威廉·温斯伯勒。 全部的 前5名系列 5 信息与计算 4 理论计算机科学 三 计算机科学课堂讲稿 2 信息和控制 2 纯逻辑与应用逻辑年鉴 2 密码学杂志 2 函数编程杂志 1 信息处理信件 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 计算机程序设计科学 1 计算机辅助几何设计 1 逻辑编程杂志 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 网络（布里斯托尔） 1 北欧计算机杂志 1 符号逻辑公报 1 美国医学会杂志 1 逻辑与代数程序设计杂志 1 国际信息处理联合会 全部的 前5名领域 70 计算机科学（68至XX） 29 数学逻辑和基础（03-XX） 22 信息与通信理论、电路（94-XX） 6 一般性和全局性主题；集合（00-XX） 三 范畴理论；同调代数（18-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 数值分析（65-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 68出版物有被引用678次519文件 引用人▼ 年份▼ 命题线性逻辑的决策问题。 Zbl 0768.03003号 帕特里克·林肯;约翰·米切尔;安德烈·斯克洛夫;Natarajan Shankar 71 1992 用于安全协议分析的串空间和多集重写的比较。 Zbl 1033.94513号 Cervesato，I。;北卡罗来纳州杜尔金。;林肯，P。;Mitchell，J。;A.斯克洛夫。 58 2003 多态类型推断和包含。 Zbl 0656.68023号 约翰·米切尔（John C.Mitchell）。 41 1988 面向对象编程的理论方面。类型、语义和语言设计。 Zbl 0828.68036号 36 1994 编程语言的类型系统。 Zbl 0900.68122号 约翰·米切尔（John C.Mitchell）。 29 1990 论统一的顺序性。 Zbl 0588.68045号 辛西娅·德沃克;Kanellakis，巴黎C。;约翰·米切尔（John C.Mitchell）。 28 1984 带有子类型的系统\（F\）的扩展。 Zbl 0805.03008号 卢卡·卡德利;西蒙·马提尼;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 26 1994 二阶lambda演算的语义。 Zbl 0714.68052号 布鲁斯（Kim B.Bruce）。;阿尔伯特·R·迈耶。;约翰·米切尔（John C.Mitchell）。 24 1990 类型化lambda演算的Kripke型模型。 Zbl 0728.03011号 约翰·米切尔（John C.Mitchell）。;尤金尼奥·莫吉 23 1991 记录操作。 Zbl 0727.68020号 卢卡·卡德利;约翰·米切尔（John C.Mitchell）。 19 1991 关于sconing和relator的注释。 Zbl 0795.03100号 约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 17 1993 用于密码协议分析的概率多项式时间过程演算。 Zbl 1088.68126号 约翰·米切尔（John C.Mitchell）。;阿吉思·拉马纳森;安德烈·斯克洛夫;瓦妮莎·提格 17 2006 函数和包含依赖关系的蕴涵问题。 Zbl 0539.68090号 约翰·米切尔（John C.Mitchell）。 15 1983 具有简单子类型的类型推断。 Zbl 0941.68541号 约翰·米切尔（John C.Mitchell）。 14 1991 用于密码协议分析的概率多项式时间演算（初步报告）。 兹比尔1260.68109 J·米切尔。;A.拉马纳森。;A.斯克洛夫。;提格，V。 12 2001 协议安全逻辑的概率多项式时间语义。 Zbl 1082.68571号 阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。;维塔利·什马蒂科夫;图鲁阿尼，马蒂厄 12 2005 对象和方法专门化的lambda演算。 Zbl 0886.03010号 凯萨琳·费希尔;Furio Honsell;约翰·米切尔（John C.Mitchell）。 12 1994 概率多项式时间等价与安全性分析。 Zbl 0976.94029号 林肯，P。;J·米切尔。;米切尔，M。;A.斯克洛夫。 11 1999 协议组合逻辑（PCL）。 Zbl 1277.68033号 阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。;阿纳布·罗伊 10 2007 具有一个内存、设置约束和乒乓协议的树自动机。 Zbl 0986.68047号 休伯特·科蒙;维罗尼克·科尔蒂尔;约翰·米切尔 10 2001 基于仿真的安全性概念之间的关系。 Zbl 1079.94543号 阿努帕姆·达塔;拉尔夫·库斯特斯;约翰·米切尔（John C.Mitchell）。;阿吉思·拉马纳森 10 2005 网络协议安全分析的概率互模拟和等价性。 Zbl 1126.68510号 阿吉思·拉马纳森;约翰·米切尔;安德烈·斯切德罗夫;瓦妮莎·提格 9 2004 带约束的DATALOG：信任管理语言的基础。 Zbl 1026.68793号 李宁辉;约翰·米切尔（John C.Mitchell）。 9 2002 两种合同签订协议的有限状态分析。 Zbl 0997.68007号 维塔利·什马提科夫;约翰·米切尔（John C.Mitchell）。 9 2002 通用组模型中加密假设的自动分析。 Zbl 1343.94040号 吉尔·巴特;爱德华·法格霍姆;达里奥·菲奥雷;约翰·米切尔;安德烈·斯切德罗夫;Benedikt施密特 8 2014 键入lambda模型和笛卡尔闭范畴。 Zbl 0674.03004号 约翰·米切尔（John C.Mitchell）。;菲利普·斯科特。 8 1989 二阶逻辑关系。 Zbl 0565.68029号 约翰·米切尔（John C.Mitchell）。;阿尔伯特·R·迈耶。 8 1985 安全协议组成。 Zbl 1337.68065号 阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。;达斯科·巴甫洛维奇 8 2003 签约、乐观和优势。 Zbl 1274.94132号 罗希特·查达;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫;维塔利·什马提科夫 7 2003 关于编程语言的抽象和表达能力。 Zbl 0809.68049号 约翰·米切尔（John C.Mitchell）。 7 1993 编程语言中的概念。 Zbl 1058.68029号 约翰·米切尔（John C.Mitchell）。 7 2002 具有子类型的基于委托的对象演算。 Zbl 1507.68086号 凯萨琳·费希尔;约翰·米切尔（John C.Mitchell）。 7 1995 概率多项式过程演算中密码协议的组成。 Zbl 1274.94097号 马特乌斯，P。;J·米切尔。;A.斯克洛夫。 6 2003 超越合规性证明：信任管理中的安全分析。 Zbl 1323.68035号 李宁辉;约翰·米切尔（John C.Mitchell）。;威廉·H·温斯伯勒。 6 2005 类型推断和类型包含。 Zbl 0582.03007号 约翰·米切尔 5 1984 Girard（J）算子的参数性和变体。 Zbl 1002.68024号 罗伯特·哈珀;约翰·米切尔（John C.Mitchell）。 5 1999 数据共享数据结构。 Zbl 1359.68052号 约翰·米切尔（John C.Mitchell）。;乔·齐默尔曼 5 2014 游戏和不可能实现的理想功能。 Zbl 1112.94008号 阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。;阿吉思·拉马纳森;安德烈·斯克洛夫 5 2006 记录操作（摘要）。 Zbl 1509.68046号 卢卡·卡德利;约翰·米切尔（John C.Mitchell）。 5 1990 带有子类型的系统\（F\）的扩展。 Zbl 1496.03058号 卢卡·卡德利;西蒙·马提尼;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 5 1991 具有扩展模式匹配和子类型的类型推断。 Zbl 0801.68017号 拉利塔·A·贾特冈卡尔。;约翰·米切尔（John C.Mitchell）。 4 1993 类型化面向对象编程注释。 Zbl 0942.68535号 凯萨琳·费希尔;约翰·米切尔（John C.Mitchell）。 4 1994 Java字节码语言和验证器的类型系统。 Zbl 1031.68039号 斯蒂芬·弗伦德（Stephen N.Freund）。;约翰·米切尔（John C.Mitchell）。 4 2003 基于仿真的安全性概念之间的关系。 Zbl 1182.68084号 拉尔夫·库斯特斯;阿努帕姆·达塔;约翰·米切尔（John C.Mitchell）。;阿吉思·拉马纳森 4 2008 合同设计协议的组成分析。 Zbl 1153.94447号 迈克尔·巴克斯;阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。;图鲁阿尼，马蒂厄 4 2006 安全协议分析。 Zbl 0945.68004号 南希·杜金。;约翰·米切尔（John C.Mitchell）。 三 1999 Java字节码语言中用于对象初始化的类型系统。 Zbl 0925.68079号 史蒂夫·弗洛伊德;约翰·米切尔 三 1997 递归程序的终止断言：完整性和公理可定义性。 Zbl 0537.68034号 阿尔伯特·R·迈耶。;约翰·米切尔（John C.Mitchell）。 三 1983 关于类、对象和数据抽象之间的关系。 Zbl 0884.68012号 凯萨琳·费希尔;约翰·米切尔（John C.Mitchell）。 2 1997 记录操作。 Zbl 0837.68069号 卢卡·卡德利;约翰·米切尔（John C.Mitchell）。 2 1994 朝向方法专门化和继承的类型化基础。 兹伯利08366.8010 约翰·米切尔（John C.Mitchell）。 2 1994 自治节点和分布式机制。 Zbl 1033.68543号 约翰·米切尔（John C.Mitchell）。;瓦妮莎·提格 2 2003 解决并发信息流系统中的隐蔽终止和定时通道。 Zbl 1291.68057号 德伊安·斯特凡;亚历杭德罗·拉索;巴勃罗·布伊拉斯;阿米特·利维;约翰·米切尔（John C.Mitchell）。;大卫·马齐埃雷斯 2 2012 类和对象的核心演算。 Zbl 0924.68028号 维维亚娜·博诺;约翰·米切尔（John C.Mitchell）。;阿米特·帕特尔。;维塔利·什马提科夫 2 1999 标签技术和类型化定点操作符。 Zbl 0969.03023号 J.C.米切尔。;黄，M。;B.T.霍华德。 2 1998 无滥用职权合同签订分析。 Zbl 0999.68569号 维塔利·什马提科夫;约翰·米切尔（John C.Mitchell）。 2 2001 关于数据表示的等价性。 Zbl 0800.68542号 约翰·米切尔（John C.Mitchell）。 2 1991 将形式语义与构造直觉联系起来。 Zbl 1434.03138号 斯图亚特·库尔茨（Stuart A.Kurtz）。;约翰·米切尔（John C.Mitchell）。;迈克尔·奥唐纳。 2 1992 线性逻辑证明游戏的优化复杂性。 Zbl 0951.03056号 帕特里克·D·林肯。;约翰·米切尔（John C.Mitchell）。;安德烈·斯切德罗夫 1 1999 概率多项式时间进程演算和安全协议分析。 Zbl 0977.68522号 约翰·米切尔（John C.Mitchell）。 1 2001 随机交互和线性逻辑。 Zbl 0829.03032号 帕特里克·D·林肯。;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 1 1995 计算机软件的理论方面。1994年4月19日至22日，第二届TACS’94国际研讨会，日本仙台。诉讼程序。 Zbl 0925.68012号 1 1994 标准ML-NJ弱多态性和命令式结构。 Zbl 0856.68036号 约翰·米切尔;拉梅什·维斯瓦纳坦 1 1996 线性逻辑证明游戏和优化。 Zbl 0862.03023号 帕特里克·D·林肯。;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 1 1996 多集重写和安全协议分析。 Zbl 1045.68582号 约翰·米切尔（John C.Mitchell）。 1 2002 签约、乐观和优势。 Zbl 1078.68029号 罗希特·查达;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫;维塔利·什马提科夫 1 2005 计算保密性的归纳证明。 Zbl 1477.68034号 阿纳布·罗伊;阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。 1 2007 对记录的操作（扩展摘要）。 Zbl 1493.68082号 卢卡·卡德利;约翰·米切尔（John C.Mitchell）。 1 1989 通用组模型中加密假设的自动分析。 Zbl 1343.94040号 吉尔·巴特;爱德华·法格霍姆;达里奥·菲奥雷;约翰·米切尔;安德烈·斯克洛夫;Benedikt施密特 8 2014 数据遗忘数据结构。 Zbl 1359.68052号 约翰·米切尔（John C.Mitchell）。;乔·齐默尔曼 5 2014 寻址并发信息流系统中的隐蔽终止和定时信道。 Zbl 1291.68057号 德伊安·斯特凡;亚历杭德罗·拉索;巴勃罗·布伊拉斯;阿米特·利维;约翰·米切尔（John C.Mitchell）。;大卫·马齐埃雷斯 2 2012 基于仿真的安全性概念之间的关系。 Zbl 1182.68084号 拉尔夫·库斯特斯;阿努帕姆达塔;约翰·米切尔（John C.Mitchell）。;阿吉思·拉马纳森 4 2008 协议组合逻辑（PCL）。 Zbl 1277.68033号 阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。;阿纳布·罗伊 10 2007 计算保密性的归纳证明。 Zbl 1477.68034号 阿纳布·罗伊;阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。 1 2007 用于密码协议分析的概率多项式时间过程演算。 Zbl 1088.68126号 约翰·米切尔（John C.Mitchell）。;阿吉思·拉马纳森;安德烈·斯克洛夫;瓦妮莎·提格 17 2006 游戏和不可能实现的理想功能。 Zbl 1112.94008号 阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。;阿吉思·拉马纳森;安德烈·斯克洛夫 5 2006 合同设计协议的组成分析。 Zbl 1153.94447号 迈克尔·巴克斯;阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。;图鲁阿尼，马蒂厄 4 2006 协议安全逻辑的概率多项式时间语义。 Zbl 1082.68571号 阿努帕姆·达塔;Derek，安特;约翰·米切尔（John C.Mitchell）。;维塔利·什马提科夫;图鲁阿尼，马蒂厄 12 2005 基于仿真的安全性概念之间的关系。 Zbl 1079.94543号 阿努帕姆·达塔;拉尔夫·库斯特斯;约翰·米切尔（John C.Mitchell）。;阿吉思·拉马纳森 10 2005 超越合规性证明：信任管理中的安全分析。 Zbl 1323.68035号 李宁辉;约翰·米切尔（John C.Mitchell）。;威廉·温斯伯勒。 6 2005 签约、乐观和优势。 Zbl 1078.68029号 罗希特·查达;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫;维塔利·什马提科夫 1 2005 网络协议安全分析的概率互模拟和等价性。 Zbl 1126.68510号 阿吉思·拉马纳森;约翰·米切尔;安德烈·斯克洛夫;瓦妮莎·提格 9 2004 用于安全协议分析的串空间和多集重写的比较。 Zbl 1033.94513号 Cervesato，I。;北卡罗来纳州杜尔金。;林肯，P。;J·米切尔。;A.斯克洛夫。 58 2003 安全协议组成。 Zbl 1337.68065号 阿努帕姆·达塔;安特·德里克;约翰·米切尔（John C.Mitchell）。;达斯科·巴甫洛维奇 8 2003 签约、乐观和优势。 Zbl 1274.94132号 罗希特·查达;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫;维塔利·什马蒂科夫 7 2003 概率多项式过程演算中密码协议的组成。 Zbl 1274.94097号 Mateus，P。;J·米切尔。;A.斯克洛夫。 6 2003 Java字节码语言和验证器的类型系统。 Zbl 1031.68039号 斯蒂芬·弗伦德（Stephen N.Freund）。;约翰·米切尔（John C.Mitchell）。 4 2003 自治节点和分布式机制。 Zbl 1033.68543号 约翰·米切尔（John C.Mitchell）。;瓦妮莎·提格 2 2003 带约束的DATALOG：信任管理语言的基础。 Zbl 1026.68793号 李宁辉;约翰·米切尔（John C.Mitchell）。 9 2002 两种合同签订协议的有限状态分析。 Zbl 0997.68007号 维塔利·什马提科夫;约翰·米切尔（John C.Mitchell）。 9 2002 编程语言中的概念。 Zbl 1058.68029号 约翰·米切尔（John C.Mitchell）。 7 2002 多集重写和安全协议分析。 Zbl 1045.68582号 约翰·米切尔（John C.Mitchell）。 1 2002 用于密码协议分析的概率多项式时间演算（初步报告）。 Zbl 1260.68109号 J·米切尔。;A.拉马纳森。;A.斯克洛夫。;提格，V。 12 2001 带有一个内存、设置约束和乒乓协议的树自动机。 Zbl 0986.68047号 休伯特·科蒙;维罗尼克·科尔蒂尔;约翰·米切尔 10 2001 无滥用职权合同签订分析。 Zbl 0999.68569号 维塔利·什马提科夫;约翰·米切尔（John C.Mitchell）。 2 2001 概率多项式时间进程演算和安全协议分析。 Zbl 0977.68522号 约翰·米切尔（John C.Mitchell）。 1 2001 概率多项式时间等价与安全性分析。 Zbl 0976.94029号 林肯，P。;J·米切尔。;Mitchell，M。;A.斯克洛夫。 11 1999 Girard（J）算子的参数性和变体。 兹比尔1002.68024 罗伯特·哈珀;约翰·米切尔（John C.Mitchell）。 5 1999 安全协议分析。 Zbl 0945.68004号 南希·杜金（Nancy A.Durgin）。;约翰·米切尔（John C.Mitchell）。 三 1999 类和对象的核心演算。 Zbl 0924.68028号 维维亚娜·博诺;约翰·米切尔（John C.Mitchell）。;阿米特·帕特尔。;维塔利·什马提科夫 2 1999 线性逻辑证明游戏的优化复杂性。 兹比尔0951.03056 帕特里克·D·林肯。;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 1 1999 标签技术和类型化定点操作符。 Zbl 0969.03023号 J.C.米切尔。;黄，M。;B.T.霍华德。 2 1998 Java字节码语言中用于对象初始化的类型系统。 Zbl 0925.68079号 史蒂夫·弗伦德;约翰·米切尔 三 1997 关于类、对象和数据抽象之间的关系。 Zbl 0884.68012号 凯萨琳·费希尔;约翰·米切尔（John C.Mitchell）。 2 1997 标准ML-NJ弱多态性和命令式结构。 Zbl 0856.68036号 约翰·米切尔;拉梅什·维斯瓦纳坦 1 1996 线性逻辑证明游戏和优化。 Zbl 0862.03023号 帕特里克·D·林肯。;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 1 1996 具有子类型的基于委托的对象演算。 Zbl 1507.68086号 凯萨琳·费希尔;约翰·米切尔（John C.Mitchell）。 7 1995 随机交互和线性逻辑。 Zbl 0829.03032号 帕特里克·D·林肯。;约翰·米切尔（John C.Mitchell）。;安德烈·斯切德罗夫 1 1995 面向对象编程的理论方面。类型、语义和语言设计。 Zbl 0828.68036号 36 1994 带有子类型的系统\（F\）的扩展。 兹比尔0805.003008 卢卡·卡德利;西蒙·马提尼;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 26 1994 对象和方法专门化的lambda演算。 Zbl 0886.03010号 凯萨琳·费希尔;Furio Honsell;约翰·米切尔（John C.Mitchell）。 12 1994 类型化面向对象编程注释。 Zbl 0942.68535号 凯萨琳·费希尔;约翰·米切尔（John C.Mitchell）。 4 1994 记录操作。 Zbl 0837.68069号 卢卡·卡德利;约翰·米切尔（John C.Mitchell）。 2 1994 为方法专门化和继承提供类型化的基础。 Zbl 0836.68010号 约翰·米切尔（John C.Mitchell）。 2 1994 计算机软件的理论方面。1994年4月19日至22日，第二届TACS’94国际研讨会，日本仙台。诉讼程序。 Zbl 0925.68012号 1 1994 关于sconing和relator的注释。 Zbl 0795.03100号 约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 17 1993 关于编程语言的抽象和表达能力。 Zbl 0809.68049号 约翰·米切尔（John C.Mitchell）。 7 1993 具有扩展模式匹配和子类型的类型推断。 Zbl 0801.68017号 拉利塔·A·贾特冈卡尔。;约翰·米切尔（John C.Mitchell）。 4 1993 命题线性逻辑的决策问题。 Zbl 0768.03003号 帕特里克·林肯;约翰·米切尔;安德烈·斯克洛夫;Natarajan Shankar 71 1992 将形式语义与构造直觉联系起来。 Zbl 1434.03138号 斯图亚特·库尔茨（Stuart A.Kurtz）。;约翰·米切尔（John C.Mitchell）。;运营；迈克尔·唐奈尔（Michael J.Donnell）。 2 1992 类型化lambda演算的Kripke型模型。 Zbl 0728.03011号 约翰·米切尔（John C.Mitchell）。;尤金尼奥·莫吉 23 1991 记录操作。 Zbl 0727.68020号 卢卡·卡德利;约翰·米切尔（John C.Mitchell）。 19 1991 具有简单子类型的类型推断。 Zbl 0941.68541号 约翰·米切尔（John C.Mitchell）。 14 1991 带有子类型的系统\（F\）的扩展。 Zbl 1496.03058号 卢卡·卡德利;西蒙·马提尼;约翰·米切尔（John C.Mitchell）。;安德烈·斯克洛夫 5 1991 关于数据表示的等价性。 Zbl 0800.68542号 约翰·米切尔（John C.Mitchell）。 2 1991 编程语言的类型系统。 兹比尔0900.68122 约翰·米切尔（John C.Mitchell）。 29 1990 二阶lambda演算的语义。 Zbl 0714.68052号 布鲁斯，金·B。;阿尔伯特·R·迈耶。;约翰·米切尔（John C.Mitchell）。 24 1990 记录操作（摘要）。 Zbl 1509.68046号 卢卡·卡德利;约翰·米切尔（John C.Mitchell）。 5 1990 键入lambda模型和笛卡尔闭范畴。 Zbl 0674.03004号 约翰·米切尔（John C.Mitchell）。;菲利普·斯科特。 8 1989 对记录的操作（扩展摘要）。 Zbl 1493.68082号 卢卡·卡德利;约翰·米切尔（John C.Mitchell）。 1 1989 多态类型推断和包含。 Zbl 0656.68023号 约翰·米切尔（John C.Mitchell）。 41 1988 二阶逻辑关系。 Zbl 0565.68029号 约翰·米切尔（John C.Mitchell）。;阿尔伯特·R·迈耶。 8 1985 论统一的顺序性。 兹伯利0588.68045 辛西娅·德沃克;Kanellakis，巴黎C。;约翰·米切尔（John C.Mitchell）。 28 1984 类型推断和类型包含。 Zbl 0582.03007号 约翰·米切尔 5 1984 函数依赖和包含依赖的蕴涵问题。 Zbl 0539.68090号 约翰·米切尔（John C.Mitchell）。 15 1983 递归程序的终止断言：完整性和公理可定义性。 Zbl 0537.68034号 阿尔伯特·R·迈耶。;约翰·米切尔（John C.Mitchell）。 三 1983 所有引用出版物 前5名被引用出版物 全部的 前5名755位作者引用 21 安德烈·斯克洛夫 15 约翰·米切尔（John C.Mitchell）。 11 库兹涅佐夫（Kuznetsov，Stepan L'vovich） 10 Max Iosifovich，卡诺维奇 8 迈克尔·巴克斯 8 拉尔夫·库斯特斯 7 马丁·阿巴迪 7 维罗尼克·科尔蒂尔 7 乔治·盖利 7 本杰明·皮尔斯。 6 斯特凡尼德劳恩 5 布鲁斯（Kim B.Bruce）。 5 卢卡·卡德利 5 张瑜 4 维维亚娜·博诺 4 伊利亚诺·塞维萨托 4 可口、蒂埃里 4 阿努帕姆·达塔 4 让·古鲍特·拉雷克 4 罗伯特·哈珀 4 马丁·霍夫曼 4 诺里希罗·卡米德 4 帕特里克·D·林肯。 4 朱塞佩·隆戈 4 弗兰克·芬宁 4 西尔万·施密茨 4 Jerzy Tiuryn 三 安德烈亚斯·阿贝尔（Andreas M.Abel）。 三 佩德罗·阿德奥 三 罗伯特·阿马迪奥（Roberto M.Amadio）。 三 吉尔·巴特 三 布鲁诺·布兰切特 三 爱德华多·博内利 三 兰·卡内蒂 三 考斯托夫·乔杜里 三 阿德里亚娜·孔皮诺尼（Adriana B.Compagnoni）。 三 克雷默斯，Cas J.F。 三 皮埃尔·卢伊斯·居里 三 马里亚纽拉州Dezani-Ciancaglini 三 弗朗索瓦·法赫斯 三 琉长谷川 三 乔纳森·赫尔佐格。 三 罗斯蒂斯拉夫·霍奇克 三 胜本，Shin-ya 三 迪尔森·卡纳尔 三 史蒂夫·克莱默 三 詹姆斯·利普顿（James B.Lipton）。 三 路易吉·利科里 三 丹尼斯·卢吉兹 三 西蒙·马提尼 三 凯瑟琳·梅多斯。 三 戴维·诺曼（David A.Naumann）。 三 尼甘，维韦克 三 布鲁诺·C·d·S·奥利维拉。 三 伊莱恩·皮门特尔 三 戈登·普洛金（Gordon D.Plotkin）。 三 大卫·J·派姆。 三 阿吉思·拉马纳森 三 丹尼尔·劳什 三 米夏埃尔·鲁西诺维奇 三 唐纳德·桑内拉。 三 施温哈默（Jan Schwinghammer） 三 马克斯·汤格瑟尔 三 图鲁阿尼，马蒂厄 三 范·贝克尔，斯特芬 三 库马尔·内拉吉（Kumar Neeraj Verma） 三 卢卡·维甘诺 三 安德烈斯·维索 三 米切尔·旺德 三 斯蒂芬妮·威里奇 三 吉田、Nobuko 2 纪尧姆·阿拉伊斯 2 安托万·阿马里利 2 吉拉德·阿沙罗夫 2 安德烈亚·阿斯佩蒂 2 克莱门·奥伯特 2 毛里西奥Ayala Rincón 2 马克·巴格诺尔 2 格尔盖·巴纳 2 佛朗哥·巴巴内拉 2 David A.Basin。 2 马西耶·本德考斯基 2 洛伦佐·贝蒂尼 2 比姆博，卡塔林 2 瓦尔省布雷祖·坦南 2 布罗德本特，安妮 2 费利斯·卡多内 2 托马斯·卡罗尔。 2 罗希特·查达 2 克里希南德·查特吉 2 陈刚 2 张玲 2 亚尼克·骑士 2 加布里埃尔·乔巴努 2 马修·科林森 2 安妮·康登（Anne E.Condon）。 2 马里奥·科普 2 卡尔·克里 2 洛朗·达米 2 德奥利维拉（de Oliveira）、安若琳娜·格里西（Anjolina Grisi） …还有655位作者 全部的 前5名68篇连载文章中引用 86 理论计算机科学 49 信息与计算 19 函数编程杂志 17 自动推理杂志 17 MSCS公司。计算机科学中的数学结构 14 纯逻辑与应用逻辑年鉴 12 计算机科学中的逻辑方法 10 计算机与系统科学杂志 10 符号逻辑杂志 7 密码学杂志 7 计算的形式方面 7 逻辑与代数程序设计杂志 6 信息处理信件 6 符号计算杂志 5 Studia Logica公司 5 应用非经典逻辑杂志 4 信息学报 4 逻辑、语言与信息杂志 2 人工智能 2 哲学逻辑杂志 2 纯粹与应用代数杂志 2 计算机程序设计科学 2 计算机科学与技术杂志 2 并行与分布式计算杂志 2 设计、代码和密码 2 赖罗。Informatique Théorique et Applications公司 2 符号逻辑公报 2 数学与人工智能年鉴 2 高阶和符号计算 2 赖罗。理论信息学及其应用 2 逻辑程序设计理论与实践 1 计算机与数学及其应用 1 离散数学 1 波兰科学院公报。技术科学 1 代数与逻辑 1 代数普遍性 1 比特币 1 信息科学 1 圣母院形式逻辑杂志 1 京都大学数学科学研究所出版物 1 SIAM计算机杂志 1 合成 1 控制论 1 订单 1 新一代计算 1 国际近似推理杂志 1 数学和计算机建模 1 国际计算机科学基础杂志 1 离散事件动态系统 1 数学逻辑档案 1 计算复杂性 1 系统设计中的形式化方法 1 图表 1 计算系统理论 1 武汉大学自然科学学报 1 并行与计算：实践与经验 1 自然计算 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 多值逻辑与软计算杂志 1 应用逻辑杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 新数学与自然计算 1 计算机科学中的数学 1 桑基拉。系列A 1 程序设计中的逻辑和代数方法杂志 1 膜计算杂志 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名13个领域引用 402 计算机科学（68至XX） 224 数学逻辑和基础（03-XX） 88 信息与通信理论、电路（94-XX） 15 范畴理论；同调代数（18-XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 有序，格，有序代数结构（06-XX） 三 量子理论（81-XX） 三 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 2 一般代数系统（08-XX） 1 数论（11-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文