编辑配置文件（在新选项卡中打开） 可口、蒂埃里 合著者距离 作者ID： 焦糖提利 发布日期： 可口、蒂埃里;Coquand，T。 主页： http://www.cse.chalmers.se/~质量/ 外部链接： MGP公司·维基数据·ResearchGate研究之门·数据库管理程序·接地·ID参考·论文.fr 已编制索引的文档： 182出版物自1984年以来，包括11附加arXiv预打印 7作为编辑的贡献·1进一步贡献 审查活动： 34评论 合著者： 80位合著者具有140联合出版物 1186位合作作者 全部的 前5名合著者 48 单作者的 25 伦巴第，亨利 14 马克·贝泽姆 8 安德烈亚斯·阿贝尔（Andreas M.Abel）。 8 西蒙·胡贝尔 8 斯特凡·纽沃思 8 溅出物，Bas 7 彼得·迪布杰 7 基特，克劳德 6 彼得·迈克尔·舒斯特 5 瓦尔省布雷祖·坦南 5 卡尔·A·冈特。 5 巴赛尔·曼纳 5 安德斯·莫特伯格 5 埃里克·帕尔姆格伦 5 乔瓦尼·桑宾 5 Jan M.史密斯。 4 托尔斯滕阿尔滕基奇 4 Hötzel Escardó，马汀 4 杰拉德·P·休特。 4 文森特·塞尔斯 4 木本武山 3 吉尔·巴特 3 斯特凡诺·贝拉尔迪 3 西里尔·科恩 3 尼古拉·克劳斯 3 本特·诺德斯特伦 3 亨利克·佩尔松 3 克里斯蒂安·萨特勒 3 安德烈·斯克洛夫 3 阿诺·斯皮瓦克 2 卡洛·安吉乌利 2 布鲁诺·巴拉斯 2 安德烈·鲍尔 2 纪尧姆·布鲁内里 2 简·塞德奎斯特 2 阿努吉·达瓦尔 2 罗伯特·哈珀 2 雨果·赫贝林 2 马丁·霍夫曼 2 Hou（Favonia）、Kuen-Bang 2 吉勒姆·贾伯 2 玛丽亚·艾米莉亚·梅埃蒂 2 萨拉·内格里 2 米盖尔·帕加诺 2 兰迪·波拉克 2 阿尔班Quadrat 2 费比安·鲁奇 2 泰特，克莱尔 2 温克尔，格林 1 彼得·阿策尔 1 阿伦斯，贝内迪克特 1 阿隆索·加西亚，玛丽亚·艾米莉亚 1 杰里米·阿维加德 1 史蒂夫·阿沃迪 1 伯恩哈德·巴纳修斯基 1 穆罕默德·巴拉卡特 1 Jean-Philippe Bernardy 1 伊夫·贝托特 1 安东尼·博尔吉 1 安娜·波夫 1 乌尔里克·巴赫霍尔茨 1 费利克斯·切鲁比尼 1 罗伯特·李，警察 1 Coquand，卡塔琳娜 1 皮埃尔·卢伊斯·居里 1 丹尼尔森、尼尔斯·安德斯 1 莱昂内尔·多科斯 1 托马斯·埃尔哈德 1 埃里克·芬斯特 1 尼古拉·甘比诺 1 Richard加纳 1 乔治·戈蒂尔 1 丹尼尔·理查德·格雷森 1 托马斯·卡利斯特·黑尔斯 1 Susumu Hayashi 1 乔纳森·赫拉斯 1 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 1 马蒂亚斯·赫茨勒 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 吉木基诺西塔 1 约阿希姆·科克 1 李诺 1 丹，利卡塔 1 丹尼尔·李卡塔（Daniel R.Licata）。 1 彼得·勒法努·卢姆斯代恩 1 罗兆辉 1 阿西娅·马赫布比 1 马丁·洛夫（Martin-Löf，Per） 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 吉尔亨·穆林 1 迈克尔·纳哈斯 1 达米安·尼文斯基 1 乌尔夫诺雷尔 1 埃里克·帕尔曼 1 克里斯汀·波林 1 阿尔瓦罗·佩莱奥 1 安德鲁·波伦斯基 1 艾米丽·里尔 1 埃格伯特，里克 ……还有21位合著者 全部的 前5名系列 8 理论计算机科学 8 纯逻辑与应用逻辑年鉴 7 骨髓间充质干细胞。计算机科学中的数学结构 7 计算机科学中的逻辑方法 6 逻辑与分析杂志 5 符号逻辑杂志 5 计算机基础理论 4 代数杂志 4 纯粹与应用代数杂志 4 信息与计算 4 数学逻辑档案 3 Indagationes Mathematicae公司。新系列 3 《数理逻辑季刊》 3 函数编程杂志 2 剑桥哲学学会数学进展杂志 2 数学手稿 2 符号计算杂志 2 科学研究院。塞里一世 2 Oberwolfach报告 1 美国数学月刊 1 代数通讯 1 洛基山数学杂志 1 数学档案馆 1 比特币 1 数学公报 1 计算机程序设计科学 1 逻辑历史与哲学 1 自动推理杂志 1 欧洲理论计算机科学协会（EATCS）公报 1 美国数学学会公报。新系列 1 数学与人工智能年鉴 1 计算系统理论 1 积极性 1 欧洲理论计算机科学协会公报 1 西班牙皇家马特马提卡足球俱乐部（La Gaceta de La Real Sociedad Matemática Española） 1 通用计算机科学杂志 1 康普特斯·伦德斯。数学竞赛。巴黎科学院 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 ACM计算逻辑事务 1 代数杂志及其应用 1 计算机科学课堂讲稿 1 形式化推理期刊 全部的 前5名领域 154 数学逻辑和基础（03-XX） 66 计算机科学（68至XX） 30 交换代数（13-XX） 25 阶、格、有序代数结构（06-XX） 18 范畴理论；同调代数（18-XX） 12 一般拓扑结构（54至XX） 12 代数拓扑（55-XX） 11 代数几何（14-XX） 9 总体主题；集合（00-XX） 7 历史和传记（01-XX） 6 功能分析（46倍X倍） 5 组合数学（05-XX） 5 测量和集成（28-XX） 2 场论和多项式（12-XX） 2 结合环与代数（16-XX） 1 一般代数系统（08-XX） 1 数论（11-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 \（K\）理论（19-XX） 1 群论与推广（20-XX） 1 拓扑群、李群（22日至XX日） 1 复变量的函数（30年XX月） 1 几个复变量和分析空间（32-XX） 1 欧氏空间的调和分析（42至XX） 1 抽象谐波分析（43至XX） 1 数值分析（65-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 140出版物有1493年被引用中的次913文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 结构微积分。 兹伯利0654.03045 可口、蒂埃里;杰拉德·休特 198 1988 立方型理论：对单价公理的建设性解释。 Zbl 1434.03036号 西里尔·科恩;可口、蒂埃里;西蒙·胡贝尔;安德斯·莫特伯格 70 2018 归纳生成的形式拓扑。 Zbl 1070.03041号 可口、蒂埃里;乔瓦尼·桑宾;简·史密斯;西尔维奥·瓦伦蒂尼 65 2003 立方体集合中的类型理论模型。 Zbl 1359.03009号 马克·贝泽姆;可口、蒂埃里;西蒙·胡贝尔 62 2014 归纳定义类型。 Zbl 0722.03006号 可口、蒂埃里;克里斯汀·波林 49 1990 构造：数学机械化的高阶证明系统。 Zbl 0581.03007号 可口、蒂埃里;杰拉德·休特 43 1985 蕴涵关系和分配格。 Zbl 0948.03056号 简·塞德奎斯特;可口、蒂埃里 41 2000 抽象代数中的隐藏结构：分配格和交换环的Krull维数。 Zbl 1096.13507号 可口、蒂埃里;伦巴第，亨利 40 2003 经典算术的证据语义学。 Zbl 0829.03037号 可口、蒂埃里 35 1995 关于选择公理的计算内容。 Zbl 0914.03059号 斯特凡诺·贝拉尔迪;马克·贝泽姆;可口、蒂埃里 28 1998 继承作为隐式强制。 Zbl 0799.68129号 瓦尔省布雷祖·坦南;可口、蒂埃里;卡尔·A·冈特。;安德烈·斯克洛夫 27 1991 抽象代数的逻辑方法。 Zbl 1118.03059号 可口、蒂埃里;伦巴第，亨利 27 2006 多态性的领域理论模型。 Zbl 0683.03007号 可口、蒂埃里;卡尔·冈特;温克尔，格林 27 1989 类型理论中测试转换的算法。 Zbl 0754.03041号 可口、蒂埃里 24 1991 构造性地生成非Noetherian模块。 Zbl 1059.13006号 可口、蒂埃里;伦巴第，亨利;基特，克劳德 24 2004 关于立方体类型理论中的高级归纳类型。 Zbl 1452.03036号 可口、蒂埃里;西蒙·胡贝尔;安德斯·莫特伯格 23 2018 dI-域作为多态性模型。 兹比尔0644.68041 可口、蒂埃里;卡尔·冈特;温克尔，格林 22 1988 估值和德德金的布拉格定理。 Zbl 0983.11061号 可口、蒂埃里;亨里克·佩尔森 19 2001 直观的模型构造和规范化证明。 Zbl 0883.03009号 可口、蒂埃里;彼得·迪布杰 19 1997 自动化连贯逻辑。 Zbl 1143.03332号 马克·贝泽姆;可口、蒂埃里 18 2005 估值空间。 Zbl 1222.03072号 可口、蒂埃里 17 2009 关于斯通的光谱概念。 Zbl 1061.06031号 可口、蒂埃里 17 2005 Krull维数的一个基本特征。 Zbl 1161.54303号 可口、蒂埃里;伦巴第，亨利;玛丽·弗朗索瓦斯·罗伊 17 2005 多态性的扩展模型。 Zbl 0713.03005号 瓦尔省布雷祖·坦南;可口、蒂埃里 15 1988 继承和显式强制。 Zbl 0716.68012号 Breazu-Tannen，V。;Coquand，T。;冈特，C.A。;A.斯克洛夫。 14 1989 一种建立经典系统在其直觉版本上保守性的新方法。 Zbl 0935.03069号 可口、蒂埃里;马丁·霍夫曼 13 1999 积分和估值。 Zbl 1245.03098号 可口、蒂埃里;溅出物，Bas 13 2009 嵌入件的类别。 Zbl 0688.18004号 可口、蒂埃里 13 1989 订单关系的实证理论分析。 Zbl 1062.03055号 萨拉·内格里;冯·柏拉图，简;可口、蒂埃里 13 2004 分配格和交换环的Heitmann维数。（Dimension de Heitmann des treillis distributions et des anneaux communifs） Zbl 1158.13308号 可口、蒂埃里;伦巴第，亨利;基特，克劳德 12 2006 构造拓扑和组合学。 Zbl 1434.03143号 可口、蒂埃里 12 1992 一种类型检查相关类型的算法。 Zbl 0853.68102号 可口、蒂埃里 11 1996 序列、框架和完整性。 兹伯利0973.03080 可口、蒂埃里;张国强 11 2000 参数型理论的预处理模型。 Zbl 1351.68146号 Jean-Philippe Bernardy;可口、蒂埃里;Guilhem穆林 11 2015 一阶公式集上的形式拓扑。 Zbl 0965.03072号 可口、蒂埃里;萨拉·萨多科;乔瓦尼·桑宾;Jan M.史密斯。 10 2000 类型理论中正则表达式等价的判定过程。 Zbl 1350.68228号 可口、蒂埃里;文森特·塞尔斯 10 2011 由有序群和正则理想系统生成的格序群。 Zbl 1496.06018号 可口、蒂埃里;伦巴第，亨利;斯特凡·纽沃思 10 2019 几何哈恩-巴纳赫定理。 Zbl 1095.46046号 可口、蒂埃里 9 2006 形式拓扑与构造数学：Gelfand和Stone-Yosida表示定理。 Zbl 1120.03049号 Coquand，T。;蜘蛛，B。 9 2005 类型论中的构造同调代数。 Zbl 1202.68376号 可口、蒂埃里;阿诺·斯皮瓦克 9 2007 Tychonoff定理的直观证明。 Zbl 0764.03024号 可口、蒂埃里 9 1992 类型理论的堆栈语义。 Zbl 1452.03037号 可口、蒂埃里;巴赛尔·曼纳;费比安·鲁奇 9 2017 \纯类型系统中的（A\）-平移和循环组合子。 Zbl 0817.03007号 可口、蒂埃里;雨果·赫贝林 8 1994 高阶逻辑的等式表示。 Zbl 0643.03050号 可口、蒂埃里;托马斯·埃尔哈德 8 1987 Gröbner以类型理论为基础。 Zbl 0979.03044号 可口、蒂埃里;亨利克·佩尔松 8 1999 构造性Krull维度。一： 整体扩展。 Zbl 1172.13007号 可口、蒂埃里;莱昂内尔·多科斯;伦巴第，亨利;基特，克劳德 8 2009 类型理论中的Hahn-Banach定理。 Zbl 0940.03069号 简·塞德奎斯特;可口、蒂埃里;萨拉·内格里 8 1998 验证Martin-Löf类型理论的语义转换测试。 Zbl 1157.68025号 安德烈亚斯·亚贝尔;可口、蒂埃里;彼得·迪布杰 8 2008 关于半正规性。 Zbl 1102.13005号 可口、蒂埃里 8 2006 马尔可夫原理在类型论中的独立性。 Zbl 1434.03137号 可口、蒂埃里;巴赛尔·曼纳 8 2016 立方体集合中的单价公理。 兹比尔1506.03064 马克·贝泽姆;可口、蒂埃里;西蒙·胡贝尔 8 2019 当你几乎吃饱了就停下来。推定终止的冒险。 Zbl 1360.68768号 Vytiniotis，迪米特里奥斯;可口、蒂埃里;戴维·沃尔斯特特 8 2012 紧空间和分配格。 Zbl 1034.54005号 可口、蒂埃里 7 2003 作为分配格的射影谱。 Zbl 1131.03035号 可口、蒂埃里;伦巴第，亨利;彼得·舒斯特 7 2007 马丁·洛夫类型理论中的匿名存在概念。 Zbl 1377.03005号 尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕阿尔滕基奇 7 2017 同构是相等的。 Zbl 1359.03010号 可口、蒂埃里;丹尼尔森、尼尔斯·安德斯 7 2013 C-代数的构造Gelfand对偶。 Zbl 1183.46052号 可口、蒂埃里;溅出物，Bas 7 2009 单形集的克里普克模型。 Zbl 1350.18020号 马克·贝泽姆;可口、蒂埃里 7 2015 从属类型理论的规范性和规范化。 Zbl 1454.03019号 可口、蒂埃里 7 2019 Kan单形集的非构造性。 Zbl 1433.03154号 马克·贝泽姆;可口、蒂埃里;埃里克·帕尔曼 7 2015 具有1回溯功能的游戏。 Zbl 1241.03006号 斯特凡诺·贝拉尔迪;可口、蒂埃里;Susumu Hayashi 6 2010 布尔模型的两个应用。 Zbl 0904.03026号 可口、蒂埃里 6 1998 递归函数和构造数学。 Zbl 1342.03043号 可口、蒂埃里 6 2014 类型理论中强迫力的计算解释。 Zbl 1312.03021号 可口、蒂埃里;吉勒姆·贾伯 6 2012 概念数学与信息形式计算结构。 Zbl 0627.03045号 可口、蒂埃里;杰拉德·休特 6 1987 在这之前，你要直面最后的固执。（终极顽固定理的直接证明）。 兹比尔074968052 可口、蒂埃里 5 1992 类型理论中的一个新悖论。 Zbl 0821.03005号 可口、蒂埃里 5 1994 关于Kronecker关于代数簇的一个定理。（Kronecker先生对各种各样的阿尔及利亚问题表示关注。） Zbl 1039.13002号 可口、蒂埃里 5 2004 多态（λ）演算的有限子系统。 Zbl 0981.03020号 托尔斯滕阿尔滕基奇;可口、蒂埃里 5 2001 nilregular元素属性。 兹比尔1093.03035 可口、蒂埃里;伦巴第，亨利;彼得·舒斯特 5 2005 作为环形格的谱方案。 Zbl 1254.03114号 可口、蒂埃里;伦巴第，亨利;彼得·舒斯特 5 2009 Hedberg定理的推广。 Zbl 1433.03032号 尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕阿尔滕基奇 5 2013 直觉主义类型理论证明助手的代数基础。 Zbl 1137.68570号 安德烈亚斯·亚贝尔;可口、蒂埃里;彼得·迪布杰 5 2008 多项式环的Krull维数的一个简短证明。 Zbl 1105.13301号 可口、蒂埃里;伦巴第，亨利 5 2005 关于强迫和类型理论的注释。 Zbl 1239.03041号 可口、蒂埃里;吉勒姆·贾伯 5 2010 形式拓扑中的最小不变空间。 Zbl 0884.03058号 可口、蒂埃里 4 1997 度量布尔代数和构造测度理论。 Zbl 1064.03039号 可口、蒂埃里;埃里克·帕尔姆格伦 4 2002 关于无穷项约简的定义。 Zbl 0859.68049号 Coquand，卡塔琳娜;可口、蒂埃里 4 1996 具有独立类型记录的逻辑框架。 Zbl 1095.03017号 可口、蒂埃里;兰迪·波拉克;木本武山 4 2005 稳定紧空间和补丁拓扑的表示。 Zbl 1049.54027号 可口、蒂埃里;张国强 4 2003 类型理论和编程。 Zbl 0791.68017号 可口、蒂埃里;本特·诺德斯特伦;Jan M.史密斯。;冯·西多，比约恩 4 1994 使用领域理论证明强正规化。 Zbl 1131.68038号 可口、蒂埃里;阿诺·斯皮瓦克 4 2007 直觉主义选择和经典逻辑。 Zbl 0947.03078号 可口、蒂埃里;埃里克·帕尔姆格伦 4 2000 对赞特玛问题的实证理论研究。 Zbl 0910.03033号 可口、蒂埃里;亨利克·佩尔松 4 1998 一种用于具有单例类型和证明无关的类型论的模块化类型检查算法。 Zbl 1213.68199号 安德烈亚斯·亚贝尔;可口、蒂埃里;米盖尔·帕加诺 4 2011 计算Coq/SSReflect中的持久同源性。 兹比尔1353.68251 乔纳森·赫拉斯;可口、蒂埃里;安德斯·莫特伯格;文森特·塞尔斯 4 2013 构造性有限自由分辨率。 兹伯利1239.13022 可口、蒂埃里;基特，克劳德 4 2012 纽曼引理——证明自动化和几何逻辑的案例研究。 Zbl 1169.03324号 马克·贝泽姆;可口、蒂埃里 4 2003 Takeuti-Gandy解释的概括。 Zbl 1362.03005号 布鲁诺·巴拉斯;可口、蒂埃里;西蒙·胡贝尔 4 2015 建设性完整性的应用。 Zbl 1434.03098号 可口、蒂埃里;Jan M.史密斯。 4 1996 笛卡尔立方类型理论的句法和模型。 Zbl 1529.03123号 卡洛·安吉乌利;纪尧姆·布鲁内里;可口、蒂埃里;罗伯特·哈珀;Hou（Favonia）、Kuen-Bang;丹尼尔·李卡塔（Daniel R.Licata）。 4 2021 立方型理论的同伦规范性。 Zbl 1528.03106号 可口、蒂埃里;西蒙·胡贝尔;克里斯蒂安·萨特勒 4 2019 拉姆齐定理分析。 Zbl 0824.03034号 可口、蒂埃里 3 1994 几何逻辑的完备性证明。 Zbl 1101.03026号 可口、蒂埃里 3 2005 完备性定理和（lambda）-演算。 Zbl 1112.03307号 可口、蒂埃里 3 2005 从属类型理论和单价公理。（悬而未决类型和单价公理） Zbl 1356.03002号 可口、蒂埃里 3 2015 从一个建设性的角度重新审视Zarisk主定理。 Zbl 1391.13049号 M.E.阿隆索。;Coquand，T。;伦巴第，H。 3 2014 纽曼引理——证明自动化和几何逻辑的案例研究。 Zbl 1063.68089号 马克·贝泽姆;可口、蒂埃里 3 2004 马尔可夫原理在类型理论中的独立性。 Zbl 1434.03136号 可口、蒂埃里;巴赛尔·曼纳 3 2017 立方型理论的规范性和同伦规范性。 Zbl 1486.03027号 可口、蒂埃里;西蒙·胡贝尔;克里斯蒂安·萨特勒 1 2022 笛卡尔立方类型理论的句法和模型。 Zbl 1529.03123号 卡洛·安吉乌利;纪尧姆·布鲁内里;可口、蒂埃里;罗伯特·哈珀;Hou（Favonia）、Kuen-Bang;丹尼尔·李卡塔（Daniel R.Licata）。 4 2021 类型理论的构造性sheaf模型。 Zbl 1529.18006号 可口、蒂埃里;费比安·鲁奇;克里斯蒂安·萨特勒 1 2021 洛伦森对初等数论一致性的证明。 Zbl 1512.03073号 可口、蒂埃里;斯特凡·纽沃思 3 2020 证明无关命题等式的非指示型理论中规范化的失败。 Zbl 1528.03099号 安德烈亚斯·亚贝尔;可口、蒂埃里 2 2020 由有序群和正则理想系统生成的格序群。 Zbl 1496.06018号 可口、蒂埃里;伦巴第，亨利;斯特凡·纽沃思 10 2019 立方集合中的单价公理。 Zbl 1506.03064号 马克·贝泽姆;可口、蒂埃里;西蒙·胡贝尔 8 2019 从属类型理论的规范性和规范化。 兹比尔1454.03019 可口、蒂埃里 7 2019 立方型理论的同伦规范性。 Zbl 1528.03106号 可口、蒂埃里;西蒙·胡贝尔;克里斯蒂安·萨特勒 4 2019 相干逻辑中的斯科利姆定理。 Zbl 1458.03047号 马克·贝泽姆;可口、蒂埃里 1 2019 立方型理论：对单价公理的建设性解释。 Zbl 1434.03036号 西里尔·科恩;可口、蒂埃里;西蒙·胡贝尔;安德斯·莫特伯格 70 2018 关于立方体类型理论中的高级归纳类型。 Zbl 1452.03036号 可口、蒂埃里;西蒙·胡贝尔;安德斯·莫特伯格 23 2018 连贯逻辑的句法强制模型。 Zbl 1437.03188号 马克·贝泽姆;乌尔里克·巴赫霍尔茨;可口、蒂埃里 1 2018 类型理论的堆栈语义。 Zbl 1452.03037号 可口、蒂埃里;巴赛尔·曼纳;费比安·鲁奇 9 2017 马丁·洛夫类型理论中的匿名存在概念。 Zbl 1377.03005号 尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕阿尔滕基奇 7 2017 马尔可夫原理在类型理论中的独立性。 Zbl 1434.03136号 可口、蒂埃里;巴赛尔·曼纳 3 2017 数学的类型理论和形式化。 Zbl 1489.68395号 可口、蒂埃里 1 2017 马尔可夫原理在类型理论中的独立性。 Zbl 1434.03137号 可口、蒂埃里;巴赛尔·曼纳 8 2016 带除数的环和Krull环（一种构造方法）。（Anneauxádiviseurs et Anneaux de Krull（une approche constructive）。） Zbl 1343.13019号 Coquand，T。;伦巴第，H。 1 2016 参数型理论的预处理模型。 Zbl 1351.68146号 Jean-Philippe Bernardy;可口、蒂埃里;吉尔亨·穆林 11 2015 单形集的克里普克模型。 Zbl 1350.18020号 马克·贝泽姆;可口、蒂埃里 7 2015 Kan单形集的非构造性。 兹比尔1433.03154 马克·贝泽姆;可口、蒂埃里;埃里克·帕尔曼 7 2015 Takeuti-Gandy解释的概括。 Zbl 1362.03005号 布鲁诺·巴拉斯;可口、蒂埃里;西蒙·胡贝尔 4 2015 相依类型理论和单价公理。（悬而未决类型和单价公理） Zbl 1356.03002号 可口、蒂埃里 3 2015 立方集合中的类型理论模型。 Zbl 1359.03009号 马克·贝泽姆;可口、蒂埃里;西蒙·胡贝尔 62 2014 递归函数和构造数学。 Zbl 1342.03043号 可口、蒂埃里 6 2014 从一个建设性的角度重新审视Zarisk主定理。 Zbl 1391.13049号 M.E.阿隆索。;Coquand，T。;伦巴第，H。 3 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 同构是相等的。 Zbl 1359.03010号 可口、蒂埃里;丹尼尔森、尼尔斯·安德斯 7 2013 Hedberg定理的推广。 Zbl 1433.03032号 尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕阿尔滕基奇 5 2013 计算Coq/SSReflect中的持久同源性。 Zbl 1353.68251号 乔纳森·赫拉斯;可口、蒂埃里;安德斯·莫特伯格;文森特·塞尔斯 4 2013 关于古德曼定理。 Zbl 1284.03267号 可口、蒂埃里 3 2013 动态Newton-Puiseux定理。 Zbl 1345.03115号 巴赛尔·曼纳;可口、蒂埃里 2 2013 当你几乎吃饱了就停下来。推定终止的冒险。 Zbl 1360.68768号 Vytiniotis，迪米特里奥斯;可口、蒂埃里;戴维·沃尔斯特特 8 2012 类型理论中强迫力的计算解释。 Zbl 1312.03021号 可口、蒂埃里;吉勒姆·贾伯 6 2012 构造性有限自由分辨率。 Zbl 1239.13022号 可口、蒂埃里;基特，克劳德 4 2012 Sasaki-Murao算法的形式化证明。 Zbl 1451.68321号 可口、蒂埃里;安德斯·莫特伯格;文森特·塞尔斯 2 2012 类型理论中的相干环和强离散环。 Zbl 1383.03016号 可口、蒂埃里;安德斯·莫特伯格;文森特·塞尔斯 2 2012 类型理论中正则表达式等价的判定过程。 Zbl 1350.68228号 可口、蒂埃里;文森特·塞尔斯 10 2011 一种用于具有单例类型和证明无关的类型论的模块化类型检查算法。 Zbl 1213.68199号 安德烈亚斯·亚贝尔;可口、蒂埃里;米盖尔·帕加诺 4 2011 显闭集的度量补。 兹比尔1251.03084 可口、蒂埃里;埃里克·帕尔姆格伦;溅出物，Bas 2 2011 作为正式点的唯一路径。 Zbl 1296.03036号 可口、蒂埃里;彼得·舒斯特 1 2011 带有1个后台跟踪的游戏。 Zbl 1241.03006号 斯特凡诺·贝拉尔迪;可口、蒂埃里;Susumu Hayashi 6 2010 关于强迫和类型理论的注释。 Zbl 1239.03041号 可口、蒂埃里;吉勒姆·贾伯 5 2010 结构有限？ Zbl 1217.03046号 可口、蒂埃里;阿诺·斯皮瓦克 3 2010 曲线和相干普吕弗环。 Zbl 1203.13020号 可口、蒂埃里;伦巴第，亨利;基特，克劳德 1 2010 Banach代数的构造理论。 Zbl 1285.03073号 可口、蒂埃里;溅出物，Bas 1 2010 估值空间。 Zbl 1222.03072号 可口、蒂埃里 17 2009 积分和估值。 Zbl 1245.03098号 可口、蒂埃里;溅出物，Bas 13 2009 构造性Krull维度。一： 整体扩展。 Zbl 1172.13007号 可口、蒂埃里;莱昂内尔·多科斯;伦巴第，亨利;基特，克劳德 8 2009 C-代数的构造Gelfand对偶。 Zbl 1183.46052号 可口、蒂埃里;溅出物，Bas 7 2009 作为环形格的谱方案。 Zbl 1254.03114号 可口、蒂埃里;伦巴第，亨利;彼得·舒斯特 5 2009 一种用于具有单子类型和证明无关性的类型理论的模块化类型选择算法。 Zbl 1246.03025号 安德烈亚斯·亚贝尔;可口、蒂埃里;米盖尔·帕加诺 2 2009 一种简单的类型理论语言：Mini-TT。 Zbl 1184.68152号 可口、蒂埃里;吉木基诺西塔;本特·诺德斯特伦;木本武山 1 2009 验证Martin-Löf类型理论的语义转换测试。 兹比尔1157.68025 安德烈亚斯·亚贝尔;可口、蒂埃里;彼得·迪布杰 8 2008 直觉主义类型理论证明助手的代数基础。 Zbl 1137.68570号 安德烈亚斯·亚贝尔;可口、蒂埃里;彼得·迪布杰 5 2008 关于实数公理化的注记。 兹比尔1172.03030 可口、蒂埃里;伦巴第·L·亨利 1 2008 类型论中的构造同调代数。 Zbl 1202.68376号 可口、蒂埃里;阿诺德·斯皮瓦克 9 2007 作为分配格的射影谱。 Zbl 1131.03035号 可口、蒂埃里;伦巴第，亨利;彼得·舒斯特 7 2007 使用领域理论证明强正规化。 Zbl 1131.68038号 可口、蒂埃里;阿诺·斯皮瓦克 4 2007 Martin-Löf逻辑框架与满射对的无类型算法等式。 Zbl 1121.68026号 安德烈亚斯·亚贝尔;可口、蒂埃里 1 2007 抽象代数的逻辑方法。 Zbl 1118.03059号 可口、蒂埃里;伦巴第，亨利 27 2006 分配格和交换环的Heitmann维数。（Dimension de Heitmann des treillis distributions et des anneaux communifs） Zbl 1158.13308号 可口、蒂埃里;伦巴第，亨利;基特，克劳德 12 2006 几何哈恩-巴纳赫定理。 Zbl 1095.46046号 可口、蒂埃里 9 2006 关于半正规性。 Zbl 1102.13005号 可口、蒂埃里 8 2006 关于非正规纯型系统方程理论的注记。 Zbl 1088.68033号 吉尔·巴特;可口、蒂埃里 2 2006 在类型理论中对双音排序进行形式化。 Zbl 1172.68439号 安娜·波夫;可口、蒂埃里 1 2006 自动化连贯逻辑。 Zbl 1143.03332号 马克·贝泽姆;可口、蒂埃里 18 2005 关于斯通的光谱概念。 Zbl 1061.06031号 可口、蒂埃里 17 2005 Krull维数的一个基本特征。 Zbl 1161.54303号 可口、蒂埃里;伦巴第，亨利;玛丽·弗朗索瓦斯·罗伊 17 2005 形式拓扑与构造数学：Gelfand和Stone-Yosida表示定理。 Zbl 1120.03049号 Coquand，T。;蜘蛛，B。 9 2005 幂正则元素属性。 Zbl 1093.03035号 可口、蒂埃里;伦巴第，亨利;彼得·舒斯特 5 2005 多项式环的Krull维数的一个简短证明。 Zbl 1105.13301号 可口、蒂埃里;伦巴第，亨利 5 2005 具有依赖类型记录的逻辑框架。 Zbl 1095.03017号 可口、蒂埃里;兰迪·波拉克;木本武山 4 2005 几何逻辑的完备性证明。 兹伯利1101.03026 可口、蒂埃里 3 2005 完备性定理和（lambda）-演算。 Zbl 1112.03307号 可口、蒂埃里 3 2005 将逻辑框架连接到一阶逻辑证明程序。 Zbl 1171.68712号 安德烈亚斯·亚贝尔;可口、蒂埃里;乌尔夫诺雷尔 2 2005 构造性地生成非Noetherian模块。 Zbl 1059.13006号 可口、蒂埃里;伦巴第，亨利;基特，克劳德 24 2004 订单关系的实证理论分析。 Zbl 1062.03055号 萨拉·内格里;冯·柏拉图，简;可口、蒂埃里 13 2004 关于Kronecker关于代数簇的一个定理。（克鲁内克研究所关注的各种问题。） Zbl 1039.13002号 可口、蒂埃里 5 2004 纽曼引理——证明自动化和几何逻辑的案例研究。 Zbl 1063.68089号 马克·贝泽姆;可口、蒂埃里 3 2004 关于偏序向量空间中具有值的测度的注记。 Zbl 1065.28006号 可口、蒂埃里 2 2004 感应生成的正式拓扑。 Zbl 1070.03041号 可口、蒂埃里;乔瓦尼·桑宾;简·史密斯;西尔维奥·瓦伦蒂尼 65 2003 抽象代数中的隐藏结构：分配格和交换环的Krull维数。 Zbl 1096.13507号 可口、蒂埃里;伦巴第，亨利 40 2003 紧空间和分配格。 Zbl 1034.54005号 可口、蒂埃里 7 2003 稳定紧空间和补丁拓扑的表示。 Zbl 1049.54027号 可口、蒂埃里;张国强 4 2003 纽曼引理——证明自动化和几何逻辑的案例研究。 Zbl 1169.03324号 马克·贝泽姆;可口、蒂埃里 4 2003 具有独立类型记录的逻辑框架。 Zbl 1052.68018号 可口、蒂埃里;兰迪·波拉克;木本武山 2 2003 婚姻引理的句法证明。 Zbl 1051.03048号 可口、蒂埃里 1 2003 度量布尔代数和构造测度理论。 Zbl 1064.03039号 可口、蒂埃里;埃里克·帕尔姆格伦 4 2002 Type:Type的实现。 Zbl 1054.68087号 可口、蒂埃里;木本武山 2 2002 依赖型理论导论。 Zbl 1065.68025号 吉尔·巴特;可口、蒂埃里 1 2002 估值和德德金的布拉格定理。 兹伯利0983.11061 可口、蒂埃里;亨利克·佩尔松 19 2001 多态（λ）演算的有限子系统。 Zbl 0981.03020号 托尔斯滕阿尔滕基奇;可口、蒂埃里 5 2001 蕴涵关系和分配格。 Zbl 0948.03056号 简·塞德奎斯特;可口、蒂埃里 41 2000 序列、框架和完整性。 Zbl 0973.03080号 可口、蒂埃里;张国强 11 2000 一阶公式集上的形式拓扑。 Zbl 0965.03072号 可口、蒂埃里;萨拉·萨多科;乔瓦尼·桑宾;Jan M.史密斯。 10 2000 直觉主义选择和经典逻辑。 Zbl 0947.03078号 可口、蒂埃里;埃里克·帕尔姆格伦 4 2000 一种建立经典系统在其直觉版本上保守性的新方法。 Zbl 0935.03069号 可口、蒂埃里;马丁·霍夫曼 13 1999 Gröbner以类型理论为基础。 Zbl 0979.03044号 可口、蒂埃里;亨利克·佩尔松 8 1999 …还有40多个文档 所有引用出版物 前5名被引用出版物 全部的 前5名855位作者引用 49 可口、蒂埃里 27 伦巴第，亨利 19 彼得·迈克尔·舒斯特 17 溅出物，Bas 15 丹尼尔·韦塞尔 14 彼得·迪布杰 14 伊森Yengui 13 斯特凡诺·贝拉尔迪 12 乔瓦尼·桑宾 11 西尔维奥·瓦伦蒂尼 10 戴维·里纳尔迪 9 托尔斯滕阿尔滕基奇 9 弗朗西斯科·西罗洛 9 Hötzel Escardó，马汀 8 安德烈亚斯·阿贝尔（Andreas M.Abel）。 8 罗伯特·哈珀 8 罗兆辉 8 安德鲁·皮特斯（Andrew M.Pitts）。 8 尼科洛Veltri 7 莱昂内尔·多科斯 7 西蒙·胡贝尔 7 弗兰克·芬宁 7 鲁比奥·加西亚、朱利奥·杰苏斯 7 克里斯蒂安·萨特勒 7 史蒂文·维克斯 6 阿伦斯，贝内迪克特 6 卡洛·安吉乌利 6 杰苏斯·阿兰塞 6 费德里科·阿西埃里 6 杰里米·阿维加德 6 佛朗哥·巴巴内拉 6 马克·贝泽姆 6 乌尔里克·巴赫霍尔茨 6 乔瓦尼·居里 6 皮埃尔·卢伊斯·居里 6 让-弗朗索瓦·杜富尔德 6 尼尔·加尼 6 贾尼契奇，普雷德拉格 6 卡瓦伊、达松吉 6 尼古拉·克劳斯 6 玛丽亚·艾米莉亚·梅埃蒂 6 莫格尔贝里，拉斯穆斯·埃杰勒斯 6 弗雷德里克·诺德瓦尔·福斯伯格 6 保罗·奥利瓦 6 基特，克劳德 6 塔尔莫乌斯塔卢 5 安娜·波夫 5 乌戈·德利古罗 5 Gilles Dowek 5 罗伊·戴克霍夫 5 法默，威廉·M。 5 尼古拉·甘比诺 5 Kamareddine，费鲁兹D。 5 丹尼尔·李卡塔（Daniel R.Licata）。 5 安德斯·莫特伯格 5 萨拉·内格里 5 斯特凡·纽沃思 5 伊恩·奥尔顿 5 埃里克·帕尔姆格伦 5 弗洛里安·拉贝 5 迈克尔·拉特扬 5 乔纳森·塞尔丁。 5 Michael A.舒尔曼。 5 托马斯·斯特里彻 5 菲利普·李瓦德勒 4 萨姆森·艾布拉姆斯基 4 吉尔·巴特 4 乌尔里希·伯杰 4 拉尔斯·比克达尔 4 弗雷德里克·布兰基 4 查普曼，詹姆斯·T·E。 4 多米尼克·达根 4 艾米·费尔蒂（Amy P.Felty）。 4 简·赫尔曼·杰弗斯 4 Susumu Hayashi 4 迪米特里·亨德里克斯 4 西蒙·亨利 4 克里斯·希恩 4 Furio Honsell 4 海兰德·J·马丁·E·。 4 阿希姆·荣格 4 安布罗斯·卡波西 4 乌尔里希·威廉·科伦巴赫 4 尼古拉斯·P·兰德斯曼。 4 萨缪尔·马斯基奥 4 朱利安·纳布克斯 4 罗伯·奈德佩尔特 4 费德里科·奥尔萨尼戈 4 米盖尔·帕加诺 4 安德鲁·波伦斯基 4 何塞·路易斯·鲁伊斯·雷纳 4 汤姆·施里杰弗斯 4 格特·斯莫尔卡 4 阿伦·斯塔姆 4 恩里科·塔西 4 范德维德，尼尔斯 3 Yohji阿卡玛 3 Alonso García、María Emilia 3 安德烈亚·阿斯佩蒂 3 史蒂夫·阿沃迪 …还有755名作者 全部的 前5名108篇连载文章中引用 103 理论计算机科学 73 纯逻辑与应用逻辑年鉴 61 骨髓间充质干细胞。计算机科学中的数学结构 38 信息与计算 37 自动推理杂志 36 计算机科学中的逻辑方法 26 函数编程杂志 22 代数杂志 21 符号逻辑杂志 15 符号计算杂志 14 纯粹与应用代数杂志 12 计算的形式方面 12 数学逻辑档案 8 《数理逻辑季刊》 8 符号逻辑公报 7 Studia Logica公司 7 合成 7 数学与人工智能年鉴 5 逻辑与代数程序设计杂志 5 程序设计中的逻辑和代数方法杂志 4 Indagationes Mathematicae公司。新系列 4 应用逻辑杂志 4 高层建筑 3 信息学报 3 代数通讯 3 剑桥哲学学会数学进展杂志 3 代数普遍性 3 哲学逻辑杂志 3 美国数学学会会刊 3 计算机科学与技术杂志 3 计算系统理论 3 RAIRO公司。理论信息学及其应用 3 物理学基础 3 汇聚数学 2 计算机与数学及其应用 2 数学物理中的通信 2 信息处理信件 2 数学信使 2 数学档案馆 2 数学期刊 2 圣母院形式逻辑期刊 2 美国数学学会会刊 2 逻辑科公报 2 模式识别 2 美国数学学会公报。新系列 2 RAIRO公司。Informatique Théorique et Applications公司 2 工程、通信和计算中的应用代数 2 应用分类结构 2 图表 2 范畴的理论与应用 2 伦敦皇家学会会刊。系列A.数学、物理和工程科学 2 康普特斯·伦德斯。数学竞赛。巴黎科学院 2 计算机语言、系统和结构 2 ACM计算逻辑事务 2 Oberwolfach报告 2 交换代数期刊 2 逻辑与分析杂志 1 数学物理杂志 1 洛基山数学杂志 1 计算数学 1 数学集 1 捷克斯洛伐克数学杂志 1 数学论文 1 数学基础 1 模糊集与系统 1 信息科学 1 数学出版物 1 伦敦数学学会杂志。第二系列 1 语言学与哲学 1 数学手稿 1 Mathematische Nachrichten数学 1 斯堪的纳维亚数学 1 太平洋数学杂志 1 编程和计算机软件 1 Rendiconti dell'Instituto di Matematica dell'的里雅斯特大学 1 拓扑及其应用 1 数学社会科学 1 逻辑历史与哲学 1 数学应用学报 1 订单 1 MCSS公司。控制、信号和系统数学 1 积分方程与应用杂志 1 计算几何 1 国际代数与计算杂志 1 国际计算机数学杂志 1 线性代数及应用 1 逻辑、语言与信息杂志 1 应用非经典逻辑杂志 1 土耳其数学杂志 1 应用Clifford代数的进展 1 菲洛马 1 《纽约数学杂志》 1 托波伊 1 高阶和符号计算 1 计算机基础理论 1 澳大利亚数学学会杂志 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 Hacettepe数学与统计杂志 1 代数杂志及其应用 1 地中海数学杂志 …还有8部连续剧 全部的 前5名在38个字段中引用 594 数学逻辑和基础（03-XX） 501 计算机科学（68至XX） 124 范畴理论；同调代数（18-XX） 86 阶、格、有序代数结构（06-XX） 74 交换代数（13-XX） 55 代数拓扑（55-XX） 44 一般拓扑结构（54至XX） 22 代数几何（14-XX） 15 功能分析（46倍X倍） 12 \（K\）理论（19-XX） 11 博弈论、经济学、金融和其他社会和行为科学（91-XX） 10 历史和传记（01-XX） 10 组合数学（05-XX） 10 结合环与代数（16-XX） 10 量子理论（81-XX） 9 总体主题；集合（00-XX） 8 测量和集成（28-XX） 7 一般代数系统（08-XX） 5 线性代数和多线性代数；矩阵理论（15-XX） 5 数值分析（65-XX） 4 数论（11-XX） 4 场论和多项式（12-XX） 4 算子理论（47-XX） 3 实函数（26年X月X日） 2 群论与推广（20-XX） 2 偏微分方程（35-XX） 2 动力系统和遍历理论（37至XX） 2 几何图形（51至XX） 2 凸和离散几何（52至XX） 2 生物学和其他自然科学（92-XX） 1 几个复变量和分析空间（32-XX） 1 序列、级数、可和性（40-XX） 1 欧氏空间的调和分析（42至XX） 1 积分变换，运算微积分（44-XX） 1 积分方程（45-XX） 1 相对论和引力理论（83至XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.