编辑配置文件（在新选项卡中打开） 尼尔·加尼 合著者距离 作者ID： 加纳尼尔 发布日期： 尼尔·加尼 已编制索引的文档： 74出版物自1995年以来，包括1个附加arXiv预打印 1作为编辑的贡献 合著者： 52位合著者具有72联合出版物 731合著作者 全部的 前5名合著者 三 单作者的 16 弗雷德里克·诺德瓦尔·福斯伯格 14 帕特里夏·约翰 10 克里斯托夫·吕斯 9 托尔斯滕·阿滕柯奇 7 麦克布赖德，康纳·托马斯 6 罗伯特·艾奇 6 彼得·汉考克。 5 费德里科·德·马奇 4 烟气、氯离子 4 库普克，克莱门斯 4 洛伦佐·马拉特斯塔 4 费德里科·奥尔萨尼戈 4 塔尔莫乌斯塔卢 三 瓦莱丽娅·德·佩瓦 三 安妮·海沃思 三 杰雷米·莱登特 三 德克·帕丁森 三 权力，约翰 三 艾克·里特 2 马泰奥·卡布奇 2 布鲁诺加夫拉诺维奇 2 阿拉斯代尔·兰伯特 2 彼得·莫里斯（Peter A.Morris）。 2 瓦尔莫·维尼 1 丹尼尔·艾哈曼 1 罗纳德·布朗 1 杰弗里·S·H·克鲁特韦尔。 1 罗伯托·迪·科斯莫 1 闪闪发光，Johan 1 马科托·哈马纳 1 朱尔斯·赫奇斯 1 格雷厄姆·赫顿 1 巴特·雅各布斯 1 毛罗·贾斯克利奥夫 1 杰·巴里 1 亚历山大·库兹 1 戈登·普洛金（Gordon D.Plotkin）。 1 王子，罗勒 1 蒂姆，狂欢 1 蒂莫西，狂欢吧 1 安东·塞泽尔 1 亚历克斯·K·辛普森。 1 斯蒂芬·斯潘 1 萨姆·斯塔顿 1 比约恩·维克多 1 克里斯托弗·温斯利。 1 保罗·W·威尔逊。 1 维克托·温舍尔 1 徐创杰 1 耶曼，基丹 1 菲利普·扎恩 1 法比奥·扎纳西 全部的 前5名系列 5 计算机科学中的逻辑方法 4 MSCS公司。计算机科学中的数学结构 三 函数编程杂志 2 理论计算机科学 2 高阶和符号计算 2 RAIRO公司。理论信息学及其应用 1 符号计算杂志 1 国际计算机科学基础杂志 1 北欧计算机杂志 1 IGPL逻辑杂志 1 计算机基础理论 1 理论计算机科学电子笔记 全部的 前5名领域 62 计算机科学（68至XX） 26 范畴理论；同调代数（18-XX） 20 数学逻辑和基础（03-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 群论与推广（20-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 61出版物有被引用443中的次281文件 引用人▼ 年份▼ 容器：构造严格的正类型。 Zbl 1077.68015号 迈克尔·阿伯特；托尔斯滕·阿滕柯奇；尼尔·加尼 42 2005 容器的类别。 Zbl 1029.68096号 迈克尔·阿伯特；托尔斯滕·阿滕柯奇；尼尔·加尼 30 2003 组合博弈论。 Zbl 1452.91016号 尼尔·加尼；朱尔斯·赫奇斯；维克托·温舍尔；菲利普·扎恩 23 2018 eta-expansion的优点。 Zbl 0833.68072号 杰·巴里；尼尔·加尼 22 1995 索引容器。 Zbl 1420.68032号 托尔斯滕·阿滕柯奇；尼尔·加尼；彼得·汉考克；康诺·麦克布莱德；彼得·莫里斯 22 2015 依赖型理论的相关参数模型。 Zbl 1284.68163号 罗伯特·艾奇；尼尔·加尼；帕特里夏·约翰 14 2014 单数和模项重写。 Zbl 0889.68084号 克里斯托夫·吕斯；尼尔·加尼 13 1997 移动进程计算中的关系阶段计算。 Zbl 1271.68183号 尼尔·加尼；基丹·耶马内；比约恩·维克多 13 2004 使用嵌套不动点的流处理器的表示。 Zbl 1189.68031号 彼得·汉考克。；尼尔·加尼；德克·帕丁森 12 2009 代数、余代数、单子和余代数。 兹比尔1260.68238 尼尔·加尼；克里斯托夫·吕斯；费德里科·德·马奇；权力，约翰 12 2001 初始代数语义就足够了！ Zbl 1215.68138号 帕特里夏·约翰；尼尔·加尼 11 2007 对偶初始代数。 Zbl 1049.18005号 尼尔·加尼；克里斯托夫·吕斯；费德里科·德·马奇；权力，约翰 11 2003 GADT结构化编程基础。 Zbl 1295.68151号 帕特里夏·约翰；尼尔·加尼 11 2008 理想单子的副产物。 Zbl 1072.18006号 尼尔·加尼；塔尔莫乌斯塔卢 10 2004 显式替换和高阶语法。 Zbl 1105.68021号 尼尔·加尼；塔尔莫乌斯塔卢；马科托·哈马纳 10 2006 使用副产物合成monad。 Zbl 1322.68043号 克里斯托夫·吕斯；尼尔·加尼 9 2002 容器衍生物。 Zbl 1039.68078号 迈克尔·阿伯特；托尔斯滕·阿滕柯奇；尼尔·加尼；康纳·麦克布莱德 9 2003 小归纳递归。 Zbl 1381.68189号 彼得·汉考克；康纳·麦克布莱德；尼尔·加尼；洛伦佐·马拉特斯塔；托尔斯滕·阿滕柯奇 9 2013 \（\beta\eta\）-副积的等式。 Zbl 1063.03513号 尼尔·加尼 8 1995 纤维诱导符合效果。 兹比尔1352.68169 罗伯特·艾奇；尼尔·加尼；巴特·雅各布斯；帕特里夏·约翰 7 2012 \（\部分\）表示数据：区分数据结构。 Zbl 1102.68020号 迈克尔·阿伯特；托尔斯滕·阿滕柯奇；康纳·麦克布莱德；尼尔·加尼 7 2005 使用W类型表示嵌套归纳类型。 Zbl 1099.03058号 迈克尔·阿伯特；托尔斯滕·阿滕柯奇；尼尔·加尼 7 2004 对迭代开放游戏的组合处理。 Zbl 1416.91036号 尼尔·加尼；库普克，克莱门斯；阿拉斯代尔·兰伯特；弗雷德里克·诺德瓦尔·福斯伯格 7 2018 明确替代建设性必要性。 Zbl 0949.03014号 尼尔·加尼；瓦莱丽娅·德·佩瓦；艾克·里特 6 1998 余代数的单子：有理项和项图。 Zbl 1169.18303号 尼尔·加尼；克里斯托夫·吕斯；费德里科·德·马奇 6 2005 依赖类型和光纤计算效果。 Zbl 1475.68057号 丹尼尔·艾哈曼；尼尔·加尼；戈登·普洛金（Gordon D.Plotkin）。 6 2016 Haskell中使用嵌套类型编程的原则方法。 Zbl 1183.68141号 帕特里夏·约翰；尼尔·加尼 6 2010 参数多态的双有理函数语义。 Zbl 1351.68072号 尼尔·加尼；帕特里夏·约翰；弗雷德里克·诺德瓦尔·福斯伯格；费德里科·奥尔萨尼戈；蒂姆，狂欢 6 2015 积极的归纳-递归定义。 兹比尔1395.68189 尼尔·加尼；洛伦佐·马拉特斯塔；弗雷德里克·诺德瓦尔·福斯伯格 5 2013 构造具有商类型的多态程序。 Zbl 1106.68335号 迈克尔·阿伯特；托尔斯滕·阿滕柯奇；尼尔·加尼；康纳·麦克布莱德 5 2004 初始代数的纤维化归纳规则。 兹比尔1287.68113 尼尔·加尼；帕特里夏·约翰；烟气、氯离子 5 2010 线性显式替换。 Zbl 1033.03007号 尼尔·加尼；瓦莱里亚佩瓦；艾克·里特 5 2000 最后余代数上的连续函数。 Zbl 1276.68110号 尼尔·加尼；彼得·汉考克；德克·帕丁森 5 2006 梯度学习的分类基础。 Zbl 1528.68339号 杰弗里·S·H·克鲁特韦尔。；布鲁诺加夫拉诺维奇；尼尔·加尼；保罗·威尔逊；法比奥·扎纳西 5 2022 指数归纳法和共归纳法，fibrational。 Zbl 1344.68145号 烟气、氯离子；尼尔·加尼；帕特里夏·约翰 4 2011 依赖型理论中的Eta展开式——结构演算。 Zbl 1063.03514号 尼尔·加尼 4 1997 一元增强和广义捷径融合。 兹比尔1302.68079 尼尔·加尼；帕特里夏·约翰；塔尔莫乌斯塔卢；瓦尔莫·维尼 4 2005 参数多态性——普遍存在。 Zbl 1465.68049号 尼尔·加尼；弗雷德里克·诺德瓦尔·福斯伯格；费德里科·奥尔萨尼戈 4 2015 同胚单子体。 Zbl 1270.18011号 尼尔·加尼；克里斯托夫·吕斯；费德里科·德·马奇 4 2002 Eta在\（F^\omega\）中展开。 Zbl 0881.03010号 尼尔·加尼 三 1997 一个由严格积极的家庭组成的宇宙。 Zbl 1170.68432号 彼得·莫里斯；托尔斯滕·阿滕柯奇；尼尔·加尼 三 2009 普遍地建造、扩充和摧毁。 Zbl 1116.68490号 尼尔·加尼；塔尔莫乌斯塔卢；瓦尔莫·维尼 三 2004 最终余代数上的连续函数。 Zbl 1337.68070号 尼尔·加尼；彼得·汉考克；德克·帕丁森 三 2009 使用余代数求解代数方程。 Zbl 1038.18005号 费德里科·德·马奇；尼尔·加尼；克里斯托夫·吕斯 三 2003 指数归纳法和共归纳法，fibrational。 Zbl 1285.68097号 尼尔·加尼；帕特里夏·约翰；克莱门特烟气 三 2013 数学操作语义的模块化和实现。 Zbl 1291.68123号 毛罗·贾斯克利奥夫；尼尔·加尼；格雷厄姆·赫顿 三 2011 通过造币机改写。 Zbl 1094.68043号 尼尔·加尼；克里斯托夫·吕斯 2 2003 精炼归纳类型。 Zbl 1241.68045号 罗伯特·艾奇；帕特里夏·约翰；尼尔·加尼 2 2012 一般纤维归纳法。 Zbl 1242.68172号 尼尔·加尼；帕特里夏·约翰；烟气、氯离子 2 2012 一元增强和广义捷径融合。 兹比尔1130.68039 尼尔·加尼；帕特里夏·约翰 2 2007 使用容器证明列表的属性。 Zbl 1137.68575号 王子，罗勒；尼尔·加尼；康纳·麦克布莱德 2 2008 Reidemister-Schreier的重写替代方案。 Zbl 1038.68152号 尼尔·加尼；安妮·海沃思 2 2003 单数和模块化。 Zbl 1057.68063号 克里斯托夫·吕斯；尼尔·加尼 2 2002 容器、单子和归纳递归。 Zbl 1361.68039号 尼尔·加尼；彼得·汉考克 2 2016 什么时候类型细化是归纳类型？ Zbl 1326.68066号 罗伯特·艾奇；帕特里夏·约翰；尼尔·加尼 1 2011 综合参数多态性：范畴模型和类型理论。 Zbl 1475.68061号 尼尔·加尼；弗雷德里克·诺德瓦尔·福斯伯格；亚历克斯·辛普森 1 2016 双陪集系统的字符串重写。 Zbl 1126.20022号 罗纳德·布朗；尼尔·加尼；安妮·海沃思；克里斯托弗·温斯利。 1 2006 双振参数中泛型的泛性质。 Zbl 1422.68032号 尼尔·加尼；弗雷德里克·诺德瓦尔·福斯伯格；费德里科·奥尔萨尼戈 1 2019 证明相关参数。 Zbl 1343.68057号 尼尔·加尼；弗雷德里克·诺德瓦尔·福斯伯格；费德里科·奥尔萨尼戈 1 2016 成分博弈论，成分。 Zbl 1480.91052号 罗伯特·艾奇；布鲁诺加夫拉诺维奇；尼尔·加尼；库普克，克莱门斯；杰雷米·莱登特；弗雷德里克·诺德瓦尔·福斯伯格 1 2021 无限视界广泛形式的博弈，联合。 Zbl 07722654号 马泰奥·卡布奇；尼尔·加尼；库普克，克莱门斯；杰雷米·莱登特；弗雷德里克·诺德瓦尔·福斯伯格 1 2023 无限视界广泛形式的博弈，联合。 兹伯利07722654 马泰奥·卡布奇；尼尔·加尼；库普克，克莱门斯；杰雷米·莱登特；弗雷德里克·诺德瓦尔·福斯伯格 1 2023 梯度学习的分类基础。 Zbl 1528.68339号 杰弗里·S·H·克鲁特韦尔。；布鲁诺加夫拉诺维奇；尼尔·加尼；保罗·威尔逊；法比奥·扎纳西 5 2022 成分博弈论，成分。 Zbl 1480.91052号 罗伯特·艾奇；布鲁诺加夫拉诺维奇；尼尔·加尼；库普克，克莱门斯；杰雷米·莱登特；弗雷德里克·诺德瓦尔·福斯伯格 1 2021 双振参数中泛型的泛性质。 Zbl 1422.68032号 尼尔·加尼；弗雷德里克·诺德瓦尔·福斯伯格；费德里科·奥尔萨尼戈 1 2019 组合博弈论。 Zbl 1452.91016号 尼尔·加尼；赫奇斯，朱尔斯；维克托·温舍尔；菲利普·扎恩 23 2018 对迭代开放游戏的组合处理。 Zbl 1416.91036号 尼尔·加尼；库普克，克莱门斯；阿拉斯代尔·兰伯特；弗雷德里克·诺德瓦尔·福斯伯格 7 2018 依赖类型和光纤计算效果。 Zbl 1475.68057号 丹尼尔·艾哈曼；尼尔·加尼；戈登·普洛金（Gordon D.Plotkin）。 6 2016 容器、单子体和归纳递归。 Zbl 1361.68039号 尼尔·加尼；彼得·汉考克 2 2016 综合参数多态性：范畴模型和类型理论。 兹比尔1475.68061 尼尔·加尼；弗雷德里克·诺德瓦尔·福斯伯格；亚历克斯·辛普森 1 2016 证明相关参数。 Zbl 1343.68057号 尼尔·加尼；弗雷德里克·诺德瓦尔·福斯伯格；费德里科·奥尔萨尼戈 1 2016 索引容器。 Zbl 1420.68032号 托尔斯滕·阿滕柯奇；尼尔·加尼；彼得·汉考克；康诺·麦克布莱德；彼得·莫里斯 22 2015 参数多态的双有理函数语义。 Zbl 1351.68072号 尼尔·加尼；帕特里夏·约翰；弗雷德里克·诺德瓦尔·福斯伯格；费德里科·奥尔萨尼戈；蒂姆，狂欢 6 2015 参数多态性——普遍存在。 Zbl 1465.68049号 尼尔·加尼；弗雷德里克·诺德瓦尔·福斯伯格；费德里科·奥尔萨尼戈 4 2015 依赖型理论的相关参数模型。 Zbl 1284.68163号 罗伯特·艾奇；尼尔·加尼；帕特里夏·约翰 14 2014 小归纳递归。 Zbl 1381.68189号 彼得·汉考克；康纳·麦克布莱德；尼尔·加尼；洛伦佐·马拉特斯塔；托尔斯滕·阿滕柯奇 9 2013 积极的归纳-递归定义。 Zbl 1395.68189号 尼尔·加尼；洛伦佐·马拉特斯塔；弗雷德里克·诺德瓦尔·福斯伯格 5 2013 指数归纳法和共归纳法，fibrational。 Zbl 1285.68097号 尼尔·加尼；帕特里夏·约翰；克莱门特烟气 三 2013 纤维诱导符合效果。 兹比尔1352.68169 罗伯特·艾奇；尼尔·加尼；巴特·雅各布斯；帕特里夏·约翰 7 2012 精炼归纳类型。 Zbl 1241.68045号 罗伯特·艾奇；帕特里夏·约翰；尼尔·加尼 2 2012 一般纤维归纳法。 Zbl 1242.68172号 尼尔·加尼；帕特里夏·约翰；烟气、氯离子 2 2012 指数归纳法和共归纳法，fibrational。 Zbl 1344.68145号 烟气、氯离子；尼尔·加尼；帕特里夏·约翰 4 2011 数学运算语义的模块化和实现。 Zbl 1291.68123号 毛罗·贾斯克利奥夫；尼尔·加尼；格雷厄姆·赫顿 三 2011 什么时候类型细化是归纳类型？ Zbl 1326.68066号 罗伯特·艾奇；帕特里夏·约翰；尼尔·加尼 1 2011 Haskell中使用嵌套类型编程的原则方法。 Zbl 1183.68141号 帕特里夏·约翰；尼尔·加尼 6 2010 初始代数的纤维化归纳规则。 兹比尔1287.68113 尼尔·加尼；帕特里夏·约翰；烟气、氯离子 5 2010 使用嵌套不动点的流处理器的表示。 Zbl 1189.68031号 彼得·汉考克。；尼尔·加尼；德克·帕丁森 12 2009 一个由严格积极的家庭组成的宇宙。 Zbl 1170.68432号 彼得·莫里斯；托尔斯滕·阿滕柯奇；尼尔·加尼 三 2009 最终余代数上的连续函数。 Zbl 1337.68070号 尼尔·加尼；彼得·汉考克；德克·帕丁森 三 2009 GADT结构化编程基础。 Zbl 1295.68151号 帕特里夏·约翰；尼尔·加尼 11 2008 使用容器证明列表的属性。 Zbl 1137.68575号 王子，罗勒；尼尔·加尼；康纳·麦克布莱德 2 2008 初始代数语义就足够了！ Zbl 1215.68138号 帕特里夏·约翰；尼尔·加尼 11 2007 一元增强和广义捷径融合。 Zbl 1130.68039号 尼尔·加尼；帕特里夏·约翰 2 2007 显式替换和高阶语法。 Zbl 1105.68021号 尼尔·加尼；塔尔莫乌斯塔卢；马科托·哈马纳 10 2006 最终余代数上的连续函数。 Zbl 1276.68110号 尼尔·加尼；彼得·汉考克；德克·帕丁森 5 2006 双陪集系统的字符串重写。 Zbl 1126.20022号 罗纳德·布朗；尼尔·加尼；安妮·海沃思；克里斯托弗·温斯利。 1 2006 容器：构造严格的正类型。 Zbl 1077.68015号 迈克尔·阿伯特；托尔斯滕·阿滕柯奇；尼尔·加尼 42 2005 \（\partial\）用于数据：区分数据结构。 Zbl 1102.68020号 迈克尔·阿伯特；托尔斯滕·阿滕柯奇；康纳·麦克布莱德；尼尔·加尼 7 2005 余代数的单子：有理项和项图。 Zbl 1169.18303号 尼尔·加尼；克里斯托夫·吕斯；费德里科·德·马奇 6 2005 一元增强和广义捷径融合。 Zbl 1302.68079号 尼尔·加尼；帕特里夏·约翰；塔尔莫乌斯塔卢；瓦尔莫·维尼 4 2005 移动进程计算中的关系阶段计算。 Zbl 1271.68183号 尼尔·加尼；耶曼，基丹；比约恩·维克多 13 2004 理想单子的副产物。 Zbl 1072.18006号 尼尔·加尼；塔尔莫乌斯塔卢 10 2004 使用W类型表示嵌套归纳类型。 Zbl 1099.03058号 迈克尔·阿伯特；托尔斯滕·阿滕柯奇；尼尔·加尼 7 2004 构造具有商类型的多态程序。 Zbl 1106.68335号 迈克尔·阿伯特；托尔斯滕·阿滕柯奇；尼尔·加尼；康纳·麦克布莱德 5 2004 普遍地建造、扩充和摧毁。 Zbl 1116.68490号 尼尔·加尼；塔尔莫乌斯塔卢；瓦尔莫·维尼 三 2004 容器的类别。 Zbl 1029.68096号 迈克尔·阿伯特；托尔斯滕·阿滕柯奇；尼尔·加尼 30 2003 对偶初始代数。 Zbl 1049.18005号 尼尔·加尼；克里斯托夫·吕斯；费德里科·德·马奇；权力，约翰 11 2003 容器衍生物。 Zbl 1039.68078号 迈克尔·阿伯特；托尔斯滕·阿滕柯奇；尼尔·加尼；康纳·麦克布莱德 9 2003 使用余代数求解代数方程。 Zbl 1038.18005号 费德里科·德·马奇；尼尔·加尼；克里斯托夫·吕斯 三 2003 通过造币机改写。 Zbl 1094.68043号 尼尔·加尼；克里斯托夫·吕斯 2 2003 Reidemister-Schreier的重写替代方案。 Zbl 1038.68152号 尼尔·加尼；安妮·海沃思 2 2003 使用副产物合成单子体。 Zbl 1322.68043号 克里斯托夫·吕斯；尼尔·加尼 9 2002 同胚单子体。 Zbl 1270.18011号 尼尔·加尼；克里斯托夫·吕斯；费德里科·德·马奇 4 2002 单数和模块化。 Zbl 1057.68063号 克里斯托夫·吕斯；尼尔·加尼 2 2002 代数、余代数、单子和余代数。 Zbl 1260.68238号 尼尔·加尼；克里斯托夫·吕斯；费德里科·德·马奇；权力，约翰 12 2001 线性显式替换。 Zbl 1033.03007号 尼尔·加尼；瓦莱里亚佩瓦；艾克·里特 5 2000 明确替代建设性必要性。 Zbl 0949.03014号 尼尔·加尼；瓦莱丽娅·德·佩瓦；艾克·里特 6 1998 单数和模项重写。 Zbl 0889.68084号 克里斯托夫·吕斯；尼尔·加尼 13 1997 依赖型理论中的Eta展开式——结构演算。 Zbl 1063.03514号 尼尔·加尼 4 1997 在\（F^\omega\）中的Eta展开式。 Zbl 0881.03010号 尼尔·加尼 三 1997 eta-expansion的优点。 Zbl 0833.68072号 杰·巴里；尼尔·加尼 22 1995 \（\beta\eta\）-副积的等式。 Zbl 1063.03513号 尼尔·加尼 8 1995 所有引用出版物 前5名被引用出版物 全部的 前5名357位作者引用 26 尼尔·加尼 12 塔尔莫乌斯塔卢 9 帕特里夏·约翰 9 弗雷德里克·诺德瓦尔·福斯伯格 8 斯特凡·米利厄斯 7 托尔斯滕·阿滕柯奇 6 罗伯托·迪·科斯莫 6 安布罗斯·卡波西 6 迪莉娅·凯斯纳 6 权力，约翰 5 安德烈亚斯·阿贝尔。 5 丹尼尔·艾哈曼 5 文森佐·西安西亚 5 马塞洛·菲奥雷（Marcelo P.Fiore）。 5 麦克布赖德，康纳·托马斯 5 乌戈·蒙塔纳里。 5 Janis Voigtlander公司 4 阿达梅克，吉安尼 4 费德里科·德·马奇 4 布鲁诺加夫拉诺维奇 4 马科托·哈马纳 4 安德烈·赫肖维茨 4 毛罗·贾斯克利奥夫 4 库普克，克莱门斯 4 安布罗斯·拉丰 4 丹尼尔·李卡塔（Daniel R.Licata）。 4 马可·马格西 4 费德里科·奥尔萨尼戈 4 艾克·里特 4 汤姆·施里杰弗斯 4 萨姆·斯塔顿 4 吉·维勒比尔 三 阿伦斯，贝内迪克特 三 罗伯特·艾奇 三 乌尔里希·伯杰 三 菲利波·邦奇 三 巴斯米，玛丽亚·格拉齐亚 三 马泰奥·卡布奇 三 詹姆斯·查普曼（James T.E.Chapman）。 三 Richard加纳 三 杰里米·吉本斯 三 彼得·汉考克。 三 罗伯特·哈珀 三 一郎·哈索 三 朱尔斯·赫奇斯 三 格雷厄姆·赫顿 三 科瓦奇，安德拉斯 三 安德烈亚斯·洛赫比勒 三 克里斯托夫·吕斯 三 德克·帕丁森 三 马西耶·皮罗格 三 马蒂奥·桑马蒂诺 三 安东·塞泽尔 三 阿伦·斯塔姆 三 德米特里·特拉泰尔 三 尼科洛·维尔特里 三 尼古拉斯·吴 2 纪尧姆·阿拉伊斯 2 卡洛·安吉利 2 埃里克·巴杜埃尔 2 海宁·巴索尔德 2 马丁·伯杰（Martin J.Berger）。 2 安妮·布罗德本特 2 维南西奥·卡普雷塔 2 肯塔·乔 2 科科特，J.罗宾B。 2 罗伯特·J·科尔文。 2 杰弗里·S·H·克鲁特韦尔。 2 瓦莱丽娅·德·佩瓦 2 德尔·卡门·冈萨雷斯（del Carmen González Huesca），卢尔德 2 多米尼克·德夫里塞 2 埃琳娜·迪拉沃雷 2 伯纳德·福清 2 傅鹏 2 Fürer，巴西尔 2 法比奥·加杜奇 2 恩里科·吉奥尔齐 2 Helle Hvid Hansen先生 2 克劳迪奥·赫米达 2 安妮·海沃思 2 本田、高黑 2 Hötzel Escardó，马汀 2 海兰德·J·马丁·E·。 2 皮埃尔·海韦拉特 2 巴特·雅各布斯 2 马尔蒂·卡沃宁 2 Toshiki Kataoka 2 约阿希姆·科克 2 杰雷米·莱登特 2 保罗·布莱恩·利维 2 利纳雷斯·阿雷瓦洛（Linares Arévalo）、皮拉尔·塞莱恩（Pilar Selene） 2 玛丽亚·艾米莉亚·梅耶蒂 2 拉尔夫·马提斯 2 詹姆斯·麦金纳 2 米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 2 彼得·莫里斯（Peter A.Morris）。 2 乍得内斯特 2 新，Max S。 2 多米尼克·A·乌节。 2 碧姬·品特卡 …还有257位作者 全部的 前5名29篇连载文章中引用 25 理论计算机科学 21 函数编程杂志 17 MSCS公司。计算机科学中的数学结构 17 计算机科学中的逻辑方法 13 信息与计算 6 高阶和符号计算 5 纯粹与应用代数杂志 5 纯逻辑与应用逻辑年鉴 三 应用的分类结构 三 RAIRO公司。理论信息学及其应用 三 逻辑与代数程序设计杂志 2 Studia Logica公司 2 自动推理杂志 2 程序设计中的逻辑和代数方法杂志 1 剑桥哲学学会数学进展杂志 1 模糊集与系统 1 代数杂志 1 哲学逻辑杂志 1 计算机程序设计科学 1 符号计算杂志 1 新一代计算 1 计算的形式方面 1 国际计算机科学基础杂志 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 范畴的理论与应用 1 数学与人工智能年鉴 1 计算系统理论 1 克罗地亚运筹学评论（CRORR） 全部的 前5名在15个字段中引用 225 计算机科学（68至XX） 105 数学逻辑和基础（03-XX） 98 范畴理论；同调代数（18-XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 6 代数拓扑（55-XX） 4 一般代数系统（08-XX） 三 群论与推广（20-XX） 三 量子理论（81-XX） 2 阶、格、有序代数结构（06-XX） 2 系统论；控制（93至XX） 1 \（K\）理论（19-XX） 1 几何图形（51至XX） 1 流形和细胞复合体（57至XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文