编辑配置文件（在新选项卡中打开） 托尔斯滕·阿滕柯奇 合著者距离 作者ID： 奥尔滕基尔奇·托尔斯滕 发布方式： 托尔斯滕·阿滕柯奇 主页： 网址：http://www.cs.nott.ac.uk/~psztxa/ 外部链接： MGP公司·ORCID公司·维基数据·谷歌学者·ResearchGate研究之门·数据库许可证·ID参考·论文.fr 已编制索引的文档： 53出版物自1993年以来，包括1个附加arXiv预打印 8作为编辑的贡献·1进一步贡献 合著者： 42位合著者具有54联合出版物 612位合作作者 全部的 前5名合著者 8 单作者的 9 尼尔·加尼 9 康诺·托马斯·麦克布莱德 7 克劳斯，尼古拉 6 安布罗斯·卡波西 5 塔尔莫乌斯塔卢 4 詹姆斯·查普曼（James T.E.Chapman）。 4 可口、蒂埃里 4 彼得·莫里斯（Peter A.Morris）。 三 安德烈亚斯·阿贝尔（Andreas M.Abel）。 三 丹尼尔森、尼尔斯·安德斯 三 Hötzel Escardó，马汀 2 西蒙·博利埃 2 保罗·卡普里奥蒂 2 Green，Alexander S。 2 彼得·汉考克。 2 马丁·霍夫曼 2 弗雷德里克·诺德瓦尔·福斯伯格 2 罗伊斯，伯恩哈德 2 阿穆尔·萨布里 2 朱莉安娜·凯泽，维佐托 1 彼得·阿策尔 1 阿伦斯，贝内迪克特 1 卡洛·安吉乌利 1 杰里米·阿维加德 1 史蒂夫·阿沃迪 1 布鲁诺·巴拉斯 1 安德烈·鲍尔 1 斯特凡诺·贝拉尔迪 1 伊夫·贝托特 1 马克·贝泽姆 1 安东尼·博尔吉 1 纪尧姆·布鲁内里 1 西里尔·科恩 1 罗伯特·李，警察 1 皮埃尔·卢伊斯·居里 1 乌戈·德利古罗 1 盖布·迪杰斯特拉 1 彼得·戴比杰 1 埃里克·芬斯特 1 尼古拉·甘比诺 1 理查德·加纳 1 科林·杰尼特 1 杰里米·吉本斯 1 乔治·戈蒂尔 1 乔纳森·格拉塔奇 1 丹尼尔·理查德·格雷森 1 托马斯·卡利斯特·黑尔斯 1 罗伯特·哈珀 1 雨果·赫贝林 1 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 1 Hou（Favonia）、Kuen-Bang 1 格雷厄姆·赫顿 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 约阿希姆·科克 1 保罗·布莱恩·利维 1 李诺 1 丹·利卡塔 1 安德烈斯·洛赫 1 彼得·勒法努·卢姆斯代恩 1 罗朝晖 1 阿西娅·马赫布比 1 洛伦佐·马拉特斯塔 1 马丁勒夫，佩尔 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔·纳哈斯 1 沃尔夫冈·纳拉斯切夫斯基 1 尼古拉斯·欧里 1 埃里克·帕尔姆格伦 1 阿尔瓦罗·佩莱奥 1 安德鲁·波伦斯基 1 艾米丽·里尔 1 埃格伯特·里杰克 1 昂德雷杰·瑞帕克 1 克里斯蒂安·萨特勒 1 阿列克西·舒伯特 1 路易斯·内里奥·斯科科拉 1 斯科特，达纳·斯图尔特 1 菲利普·斯科特。 1 菲利波·塞斯蒂尼 1 安东·塞泽尔 1 Michael A.舒尔曼。 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 索索、马蒂厄 1 溅出物，Bas 1 萨姆·斯塔顿 1 托马斯·斯特里彻 1 尼古拉斯·塔巴雷奥 1 1 巴威·乌尔兹琴 1 本诺·范登伯格 1 弗拉基米尔·阿列克桑德罗维奇 1 沃伦、迈克尔·奥尔顿 1 诺姆·齐尔伯格 全部的 前5名系列 4 计算机基础理论 三 骨髓间充质干细胞。计算机科学中的数学结构 三 函数编程杂志 三 计算机科学中的逻辑方法 2 计算机科学课堂讲稿 2 LIPIcs–莱布尼茨国际信息学会议录 1 理论计算机科学 1 国际计算机科学基础杂志 1 形式化推理杂志 全部的 前5名领域 45 计算机科学（68至XX） 30 数学逻辑和基础（03-XX） 12 范畴理论；同调代数（18-XX） 8 一般性和全局性主题；集合（00-XX） 6 代数拓扑（55-XX） 4 量子理论（81-XX） 1 历史与传记（01-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 52出版物有被引用450中的次272份文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 容器：构造严格的正类型。 兹比尔1077.68015 迈克尔·阿伯特;托尔斯滕·阿滕柯奇;尼尔·加尼 42 2005 使用广义归纳类型的lambda项的单数表示。 Zbl 0944.03011号 托尔斯滕·阿滕柯奇;罗伊斯，伯恩哈德 33 1999 容器的类别。 Zbl 1029.68096号 迈克尔·阿伯特;托尔斯滕·阿滕柯奇;尼尔·加尼 30 2003 类型理论在使用商归纳类型的类型理论中。 兹比尔1347.68045 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 29 2016 单子不一定是内函子。 Zbl 1448.18007号 托尔斯滕·阿滕柯奇;詹姆斯·查普曼;塔尔莫乌斯塔卢 27 2015 索引容器。 兹比尔1420.68032 托尔斯滕·阿滕柯奇;尼尔·加尼;彼得·汉考克;康诺·麦克布莱德;彼得·莫里斯 22 2015 LEGO系统F的强规范化证明的形式化。 Zbl 0797.68095号 托尔斯滕·阿滕柯奇 17 1993 单子不一定是内函子。 Zbl 1284.18010号 托尔斯滕·阿滕柯奇;詹姆斯·查普曼;塔尔莫乌斯塔卢 17 2010 商诱导类型。 Zbl 1506.03063号 托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;盖布·迪杰斯特拉;克劳斯，尼古拉;弗雷德里克·诺德瓦尔·福斯伯格 15 2018 偏袒，重温。偏单子作为商归纳归纳类型。 Zbl 1486.68036号 托尔斯滕·阿滕柯奇;丹尼尔森、尼尔斯·安德斯;克劳斯，尼古拉 13 2017 结构递归的谓词分析。 Zbl 0998.68027号 安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇 11 2002 对无还原标准化证明。 Zbl 1502.03019号 托尔斯滕·阿滕柯奇;马丁·霍夫曼;托马斯·斯特里彻 11 1995 依赖类型编程中的泛型编程。 Zbl 1089.68529号 托尔斯滕·阿滕柯奇;康纳·麦克布莱德 10 2003 分类型，声明性。归纳和共归纳的混合练习。 Zbl 1286.68074号 丹尼尔森、尼尔斯·安德斯;托尔斯滕·阿滕柯奇 10 2010 容器衍生物。 Zbl 1039.68078号 迈克尔·阿伯特;托尔斯滕·阿滕柯奇;尼尔·加尼;康纳·麦克布莱德 9 2003 构建量子效应：超级算符如箭头。 Zbl 1122.68062号 朱利安娜·维佐托;托尔斯滕·阿滕柯奇;阿穆尔·萨布里 9 2006 纯量子编程的代数。 Zbl 1277.68053号 托尔斯滕·阿滕柯奇;乔纳森·格拉塔奇;朱利安娜·维佐托（Juliana K.Vizzotto）。;阿穆尔·萨布里 9 2007 小归纳递归。 Zbl 1381.68189号 彼得·汉考克;康纳·麦克布赖德;尼尔·加尼;洛伦佐·马拉特斯塔;托尔斯滕·阿滕柯奇 9 2013 大步归一化。 Zbl 1191.68153号 托尔斯滕·阿滕柯奇;詹姆斯·查普曼 9 2009 用严格等式推广同伦类型理论。 Zbl 1370.03014号 托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;克劳斯，尼古拉 9 2016 \（\部分\）表示数据：区分数据结构。 Zbl 1102.68020号 迈克尔·阿伯特;托尔斯滕·阿滕柯奇;康纳·麦克布莱德;尼尔·加尼 7 2005 归纳归纳定义的范畴语义。 Zbl 1344.68143号 托尔斯滕·阿滕柯奇;彼得·莫里斯;弗雷德里克·诺德瓦尔·福斯伯格;安东·塞泽尔 7 2011 使用W类型表示嵌套归纳类型。 Zbl 1099.03058号 迈克尔·阿伯特;托尔斯滕·阿滕柯奇;尼尔·加尼 7 2004 马丁·洛夫类型理论中的匿名存在概念。 Zbl 1377.03005号 克劳斯，尼古拉;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇 7 2017 在类型理论中，通过对类型理论的评估进行规范化。 Zbl 1459.03013号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 7 2017 多态（λ）演算的有限子系统。 Zbl 0981.03020号 托尔斯滕·阿滕柯奇;可口、蒂埃里 5 2001 构造具有商类型的多态程序。 兹比尔1106.68335 迈克尔·阿伯特;托尔斯滕·阿滕柯奇;尼尔·加尼;康纳·麦克布莱德 5 2004 Hedberg定理的推广。 Zbl 1433.03032号 克劳斯，尼古拉;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇 5 2013 \（\Pi\Sigma\）：不含糖的依赖型。 Zbl 1284.68122号 托尔斯滕·阿滕柯奇;丹尼尔森、尼尔斯·安德斯;安德烈斯·洛赫;尼古拉斯·欧里 5 2010 通过评估依赖类型进行标准化。 兹比尔1387.68060 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 5 2016 一阶函数类型作为终端余代数的表示。 Zbl 0981.68110号 托尔斯滕·阿滕柯奇 4 2001 弱欧米伽群的语法方法。 Zbl 1252.68058号 托尔斯滕·阿滕柯奇;Ondrej Rypacek公司 4 2012 量子IO单子。 Zbl 1209.68103号 托尔斯滕·阿滕柯奇;Green，Alexander S。 4 2010 同伦型理论中的自由高等群。 Zbl 1453.03003号 克劳斯，尼古拉;托尔斯滕·阿滕柯奇 4 2018 通过计算\（\lambda^{\rightarrow 2}\）进行规范化。 Zbl 1122.68393号 托尔斯滕·阿滕柯奇;塔尔莫乌斯塔卢 三 2004 一个由严格积极的家庭组成的宇宙。 Zbl 1170.68432号 彼得·莫里斯;托尔斯滕·阿滕柯奇;尼尔·加尼 三 2009 从可逆计算到不可逆计算。 Zbl 1279.68077号 Green，Alexander S。;托尔斯滕·阿滕柯奇 三 2008 Setoid类型理论——句法翻译。 Zbl 1434.03034号 托尔斯滕·阿滕柯奇;西蒙·博利埃;安布罗斯·卡波西;尼古拉斯·塔巴雷奥 三 2019 高阶容器。 Zbl 1286.68327号 托尔斯滕·阿滕柯奇;保罗·利维;萨姆·斯塔顿 三 2010 什么时候函数是折叠还是展开？ Zbl 1260.68096号 杰里米·吉本斯;格雷厄姆·赫顿;托尔斯滕·阿滕柯奇 三 2001 具有交错归纳类型的lambda-演算的谓词强正规化证明。 Zbl 0988.03029号 安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇 2 2000 逻辑关系和归纳/共归纳类型。 Zbl 0934.03019号 托尔斯滕·阿滕柯奇 2 1999 相对单子形式化。 Zbl 1451.68330号 托尔斯滕·阿滕柯奇;詹姆斯·查普曼;塔尔莫乌斯塔卢 2 2014 整数作为一种更高级的归纳类型。 Zbl 1498.03028号 托尔斯滕·阿滕柯奇;路易斯·斯科科拉 2 2020 校样和程序的类型。98型国际研讨会。Kloster Irsee，德国，1999年3月27日至31日。精选论文。 Zbl 0929.00065号 1 1999 type:type的部分类型检查算法。 兹比尔1291.68106 安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇 1 2011 探索常规树类型。 Zbl 1172.68401号 彼得·莫里斯;托尔斯滕·阿滕柯奇;康纳·麦克布莱德 1 2006 走向一种没有间隔的立体型理论。 Zbl 1434.03035号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 1 2018 第26届国际校样和程序类型会议，2020年3月2日至5日，意大利都灵都灵大学，types 2020。 Zbl 1465.68018号 1 2021 构建刚毛模型的宇宙。 Zbl 07410416号 托尔斯滕·阿滕柯奇;西蒙·博利埃;安布罗斯·卡波西;克里斯蒂安·萨特勒;菲利波·塞斯蒂尼 1 2021 天真型理论。 兹比尔1528.03102 托尔斯滕·阿滕柯奇 1 2019 第26届国际校样和程序类型会议，2020年3月2日至5日，意大利都灵都灵大学，types 2020。 Zbl 1465.68018号 1 2021 构建刚毛模型的宇宙。 Zbl 07410416号 托尔斯滕·阿滕柯奇;西蒙·博利埃;安布罗斯·卡波西;克里斯蒂安·萨特勒;菲利波·塞斯蒂尼 1 2021 整数作为更高的归纳类型。 Zbl 1498.03028号 托尔斯滕·阿滕柯奇;路易斯·斯科科拉 2 2020 Setoid类型理论——句法翻译。 Zbl 1434.03034号 托尔斯滕·阿滕柯奇;西蒙·博利埃;安布罗斯·卡波西;尼古拉斯·塔巴雷奥 三 2019 天真型理论。 Zbl 1528.03102号 托尔斯滕·阿滕柯奇 1 2019 商诱导类型。 Zbl 1506.03063号 托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;盖布·迪杰斯特拉;克劳斯，尼古拉;弗雷德里克·诺德瓦尔·福斯伯格 15 2018 同伦型理论中的自由高等群。 Zbl 1453.03003号 克劳斯，尼古拉;托尔斯滕·阿滕柯奇 4 2018 朝向一个没有间隔的立方型理论。 Zbl 1434.03035号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 1 2018 偏袒，重温。偏单子作为商归纳归纳类型。 Zbl 1486.68036号 托尔斯滕·阿滕柯奇;丹尼尔森、尼尔斯·安德斯;克劳斯，尼古拉 13 2017 马丁·洛夫类型理论中的匿名存在概念。 Zbl 1377.03005号 克劳斯，尼古拉;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇 7 2017 在类型理论中，通过对类型理论的评估进行规范化。 Zbl 1459.03013号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 7 2017 类型理论在使用商归纳类型的类型理论中。 Zbl 1347.68045号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 29 2016 用严格等式扩展同伦论。 Zbl 1370.03014号 托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;克劳斯，尼古拉 9 2016 通过评估依赖类型进行标准化。 Zbl 1387.68060号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 5 2016 单子不一定是内函子。 Zbl 1448.18007号 托尔斯滕·阿滕柯奇;詹姆斯·查普曼;塔尔莫乌斯塔卢 27 2015 索引容器。 兹比尔1420.68032 托尔斯滕·阿滕柯奇;尼尔·加尼;彼得·汉考克;康诺·麦克布莱德;彼得·莫里斯 22 2015 相对单子形式化。 Zbl 1451.68330号 托尔斯滕·阿滕柯奇;查普曼，詹姆斯;塔尔莫乌斯塔卢 2 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 小归纳递归。 Zbl 1381.68189号 彼得·汉考克;康纳·麦克布莱德;尼尔·加尼;洛伦佐·马拉特斯塔;托尔斯滕·阿滕柯奇 9 2013 Hedberg定理的推广。 Zbl 1433.03032号 克劳斯，尼古拉;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇 5 2013 弱欧米伽群的语法方法。 Zbl 1252.68058号 托尔斯滕·阿滕柯奇;昂德雷杰·瑞帕克 4 2012 归纳归纳定义的范畴语义。 Zbl 1344.68143号 托尔斯滕·阿滕柯奇;彼得·莫里斯;弗雷德里克·诺德瓦尔·福斯伯格;安东·塞泽尔 7 2011 type:type的部分类型检查算法。 兹比尔1291.68106 安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇 1 2011 单子不一定是内函子。 Zbl 1284.18010号 托尔斯滕·阿滕柯奇;詹姆斯·查普曼;塔尔莫乌斯塔卢 17 2010 分类型，声明性。混合归纳法和复合归纳法的练习。 Zbl 1286.68074号 丹尼尔森、尼尔斯·安德斯;托尔斯滕·阿滕柯奇 10 2010 \（\Pi\Sigma\）：不含糖的依赖型。 Zbl 1284.68122号 托尔斯滕·阿滕柯奇;丹尼尔森、尼尔斯·安德斯;安德烈斯·洛赫;尼古拉斯·欧里 5 2010 量子IO单子。 Zbl 1209.68103号 托尔斯滕·阿滕柯奇;Green，Alexander S。 4 2010 高阶容器。 Zbl 1286.68327号 托尔斯滕·阿滕柯奇;保罗·利维;萨姆·斯塔顿 三 2010 大步归一化。 Zbl 1191.68153号 托尔斯滕·阿滕柯奇;詹姆斯·查普曼 9 2009 一个由严格积极的家庭组成的宇宙。 Zbl 1170.68432号 彼得·莫里斯;托尔斯滕·阿滕柯奇;尼尔·加尼 三 2009 从可逆计算到不可逆计算。 Zbl 1279.68077号 Green，Alexander S。;托尔斯滕·阿滕柯奇 三 2008 纯量子编程代数。 Zbl 1277.68053号 托尔斯滕·阿滕柯奇;乔纳森·格拉塔奇;朱莉安娜·维佐托。;阿穆尔·萨布里 9 2007 构建量子效应：超级算符如箭头。 Zbl 1122.68062号 朱利安娜·维佐托;托尔斯滕·阿滕柯奇;阿穆尔·萨布里 9 2006 探索常规树类型。 Zbl 1172.68401号 彼得·莫里斯;托尔斯滕·阿滕柯奇;康纳·麦克布莱德 1 2006 容器：构造严格的正类型。 Zbl 1077.68015号 迈克尔·阿伯特;托尔斯滕·阿滕柯奇;尼尔·加尼 42 2005 \（\部分\）表示数据：区分数据结构。 Zbl 1102.68020号 迈克尔·阿伯特;托尔斯滕·阿滕柯奇;康纳·麦克布莱德;尼尔·加尼 7 2005 使用W类型表示嵌套归纳类型。 Zbl 1099.03058号 迈克尔·阿伯特;托尔斯滕·阿滕柯奇;尼尔·加尼 7 2004 构造具有商类型的多态程序。 Zbl 1106.68335号 迈克尔·阿伯特;托尔斯滕·阿滕柯奇;尼尔·加尼;康纳·麦克布莱德 5 2004 通过计算\（\lambda^{\rightarrow 2}\）进行规范化。 Zbl 1122.68393号 托尔斯滕·阿滕柯奇;塔尔莫乌斯塔卢 三 2004 容器的类别。 兹比尔1029.68096 迈克尔·阿伯特;托尔斯滕·阿滕柯奇;尼尔·加尼 30 2003 依赖类型编程中的泛型编程。 Zbl 1089.68529号 托尔斯滕·阿滕柯奇;康纳·麦克布莱德 10 2003 容器衍生物。 Zbl 1039.68078号 迈克尔·阿伯特;托尔斯滕·阿滕柯奇;尼尔·加尼;康纳·麦克布莱德 9 2003 结构递归的谓词分析。 Zbl 0998.68027号 安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇 11 2002 多态（λ）演算的有限子系统。 兹伯利0981.03020 托尔斯滕·阿滕柯奇;可口、蒂埃里 5 2001 一阶函数类型作为终端余代数的表示。 Zbl 0981.68110号 托尔斯滕·阿滕柯奇 4 2001 什么时候函数是折叠还是展开？ Zbl 1260.68096号 杰里米·吉本斯;格雷厄姆·赫顿;托尔斯滕·阿滕柯奇 三 2001 具有交错归纳类型的lambda-演算的谓词强正规化证明。 Zbl 0988.03029号 安德烈亚斯·亚贝尔;托尔斯滕·阿滕柯奇 2 2000 使用广义归纳类型的lambda项的一元表示。 Zbl 0944.03011号 托尔斯滕·阿滕柯奇;罗伊斯，伯恩哈德 33 1999 逻辑关系和归纳/共归纳类型。 Zbl 0934.03019号 托尔斯滕·阿滕柯奇 2 1999 校样和程序的类型。98型国际研讨会。Kloster Irsee，德国，1999年3月27日至31日。精选论文。 Zbl 0929.00065号 1 1999 对无还原标准化证明。 Zbl 1502.03019号 托尔斯滕·阿滕柯奇;马丁·霍夫曼;托马斯·斯特里彻 11 1995 LEGO系统F的强规范化证明的形式化。 Zbl 0797.68095号 托尔斯滕·阿滕柯奇 17 1993 所有引用出版物 前5名被引用出版物 全部的 前5名334位作者引用 14 塔尔莫乌斯塔卢 11 托尔斯滕·阿滕柯奇 11 尼科洛Veltri 9 安德烈亚斯·阿贝尔（Andreas M.Abel）。 9 尼尔·加尼 7 阿伦斯，贝内迪克特 7 安德烈·赫肖维茨 7 马可·马格西 7 康诺·托马斯·麦克布莱德 6 马塞洛·菲奥雷（Marcelo P.Fiore）。 6 安布罗斯·卡波西 6 克劳斯，尼古拉 6 安布罗斯·拉丰 6 拉尔夫·马提斯 6 碧姬·品特卡 5 朱利安娜·凯泽·维佐托 4 丹尼尔·艾哈曼 4 卡洛·安吉乌利 4 巴勃罗·阿里吉 4 可口、蒂埃里 4 丹尼尔·李卡塔（Daniel R.Licata）。 4 阿穆尔·萨布里 4 安东·塞泽尔 4 萨姆·斯塔顿 4 阿伦·斯塔姆 4 范德维德，尼尔斯 三 纪尧姆·阿拉伊斯 三 拉尔斯·比克达尔 三 西蒙·博利埃 三 维南西奥·卡普雷塔 三 詹姆斯·查普曼（James T.E.Chapman）。 三 安德烈·劳贝尔·杜博伊斯 三 彼得·戴比杰 三 乔纳森·格拉塔奇 三 丹尼尔·格拉泽 三 彼得·汉考克。 三 罗伯特·哈珀 三 拉尔夫·欣泽 三 汤姆·赫肖维茨 三 Hötzel Escardó，马汀 三 毛罗·贾斯克利奥夫 三 帕特里夏·约翰 三 科瓦奇，安德拉斯 三 安德烈亚斯·洛赫比勒 三 弗雷德里克·诺德瓦尔·福斯伯格 三 安德鲁·皮特斯（Andrew M.Pitts）。 三 克里斯蒂安·萨特勒 三 Michael A.舒尔曼。 三 沃特·斯威斯特拉 三 德米特里·特拉泰尔 三 诺姆·齐尔伯格 2 浅井，肯尼奇 2 罗伯特·艾奇 2 毛里西奥·阿亚拉·林科恩 2 尼克·本顿 2 乌尔里希·伯杰 2 汤姆·J·德容。 2 亚历杭德罗·迪亚斯·卡洛 2 Gilles Dowek 2 塞缪尔·费托萨。 2 巴兹尔·弗里尔 2 尼古拉·甘比诺 2 理查德·加纳 2 杰里米·吉本斯 2 一郎·哈索 2 克里斯·希恩 2 胡杰森Z.S。 2 格雷厄姆·赫顿 2 海兰德·J·马丁·E·。 2 皮埃尔·海韦拉特 2 石雄，恰基 2 巴特·雅各布斯 2 克里斯托弗·詹金斯 2 安德鲁·肯尼迪。 2 约阿希姆·科克 2 加布里埃尔·洛比亚 2 彼得·勒法努·卢姆斯代恩 2 玛丽亚·艾米莉亚·梅埃蒂 2 莫格尔贝里，拉斯穆斯·埃杰勒斯 2 彼得·莫里斯（Peter A.Morris）。 2 安德斯·莫特伯格 2 新，Max S。 2 多米尼克·A·乌节。 2 德克·帕丁森 2 弗兰克·芬宁 2 马西耶·皮罗格 2 马西斯·雷内拉 2 里瓦斯，埃克斯奎尔 2 菲利普·萨维尔 2 史蒂文·施费尔 2 Joshua P.施耐德。 2 菲利波·塞斯蒂尼 2 Shan、Chung-chieh 2 溅出物，Bas 2 南卡罗来纳州斯坦坎普。 2 西尔维娅·斯特拉 2 乔纳森·斯特林 2 威廉·斯特顿。 2 安德鲁·斯旺。 2 尼古拉斯·塔巴雷奥 …还有234位作者 全部的 前5名34篇连载文章中引用 27 骨髓间充质干细胞。计算机科学中的数学结构 22 计算机科学中的逻辑方法 20 函数编程杂志 14 理论计算机科学 13 自动推理杂志 6 纯逻辑与应用逻辑年鉴 5 应用分类结构 4 纯粹与应用代数杂志 4 高阶和符号计算 三 计算机程序设计科学 三 信息与计算 三 程序设计中的逻辑和代数方法杂志 2 剑桥哲学学会数学进展杂志 2 数学逻辑档案 2 范畴的理论与应用 2 RAIRO公司。理论信息学及其应用 1 信息学报 1 数学物理中的字母 1 数学进展 1 模糊集与系统 1 信息科学 1 编程和计算机软件 1 逻辑科公报 1 新一代计算 1 计算的形式方面 1 国际计算机科学基础杂志 1 工程、通信和计算中的应用代数 1 逻辑、语言与信息杂志 1 《数理逻辑季刊》 1 选择Mathematica。新系列 1 逻辑与代数程序设计杂志 1 量子信息处理 1 ACM计算逻辑事务 1 第比利斯数学杂志 全部的 前5名13个领域引用 212 计算机科学（68至XX） 119 数学逻辑和基础（03-XX） 72 范畴理论；同调代数（18-XX） 20 量子理论（81-XX） 17 代数拓扑（55-XX） 5 阶、格、有序代数结构（06-XX） 2 组合数学（05-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 一般代数系统（08-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 测量和集成（28-XX） 1 几何形状（51至XX） 1 数值分析（65-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.