编辑配置文件(在新选项卡中打开) 尼古拉·克劳斯 合著者距离 作者ID: 克劳斯·尼科莱 发布日期: 尼古拉·克劳斯 主页: 网址:http://www.cs.nott.ac.uk/~psznk公司/ 外部链接: ORCID公司·谷歌学者·数据库许可证 编入索引的文档: 24出版物自2013年起,包括6附加arXiv预打印 1进一步贡献 合著者: 19位合著者具有22联合出版物 239位Co-Co作者 全部的 前5名合著者 3 单作者的 7 托尔斯滕·阿滕柯奇 6 保罗·卡普里奥蒂 4 克里斯蒂安·萨特勒 3 可口、蒂埃里 3 Hötzel Escardó,马汀 3 弗雷德里克·诺德瓦尔·福斯伯格 3 雅各布·冯·劳默 3 徐创杰 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 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 Hou(Favonia)、Kuen-Bang 1 安德烈·乔亚尔 1 安布罗斯·卡波西 1 Krzysztof卡普尔金 1 约阿希姆·科克 1 科瓦奇,安德拉斯 1 李诺 1 丹·利卡塔 1 彼得·勒法努·卢姆斯代恩 1 罗朝晖 1 阿西亚·马布比 1 马丁·洛夫(Martin-Löf,Per) 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔·纳哈斯 1 福斯贝格·弗雷德里克·诺德瓦尔 1 埃里克·帕尔姆格伦 1 阿尔瓦罗·佩莱奥 1 平约,枪 1 安德鲁·波伦斯基 1 艾米丽·里尔 1 埃格伯特·里杰克 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 舒尔曼,迈克尔·A。 1 克里斯蒂娜·索雅科娃 1 索洛夫·弗拉基米洛维奇 1 索索、马蒂厄 1 溅出物,Bas 1 1 本诺·范登伯格 1 安德烈亚·维佐西 1 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 1 沃伦、迈克尔·奥尔顿 1 诺姆·齐尔伯格 系列 3 MSCS公司。计算机科学中的数学结构 1 理论计算机科学 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 领域 18 数学逻辑和基础(03-XX) 11 计算机科学(68至XX) 10 代数拓扑(55-XX) 4 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用72中的次42文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 200 2013 商诱导类型。 Zbl 1506.03063号 托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;盖布·迪杰斯特拉;尼古拉·克劳斯;弗雷德里克·诺德瓦尔·福斯伯格 14 2018 偏袒,重温。偏单子作为商归纳归纳类型。 Zbl 1486.68036号 托尔斯滕·阿滕柯奇;丹尼尔森、尼尔斯·安德斯;尼古拉·克劳斯 13 2017 用严格等式推广同伦类型理论。 Zbl 1370.03014号 托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;尼古拉·克劳斯 9 2016 马丁·洛夫类型理论中的匿名存在概念。 Zbl 1377.03005号 尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇 7 2017 具有非递归更高归纳类型的构造。 兹比尔1394.03010 尼古拉·克劳斯 7 2016 单价宇宙层次中的高级同伦。 Zbl 1354.03100号 尼古拉·克劳斯;克里斯蒂安·萨特勒 5 2015 命题截断的一般泛性质。 Zbl 1434.03150号 尼古拉·克劳斯 5 2015 Hedberg定理的推广。 Zbl 1433.03032号 尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇 4 2013 自同构型理论中的自由高等群。 Zbl 1453.03003号 尼古拉·克劳斯;托尔斯滕·阿滕柯奇 4 2018 通过良好的基础实现一致性。同伦类型理论中的驯服集商。 Zbl 1498.03033号 尼古拉·克劳斯;雅各布·冯·劳默 2 2020 连接同伦类型理论中序数的构造概念。 Zbl 07724243号 尼古拉·克劳斯;福斯贝格·弗雷德里克·诺德瓦尔;徐创杰 1 2021 函数超出了较高的截断。 Zbl 1373.03011号 保罗·卡普里奥蒂;尼古拉·克劳斯;安德烈亚·维佐西 1 2015 连接同伦类型理论中序数的构造概念。 Zbl 07724243号 尼古拉·克劳斯;福斯贝格·弗雷德里克·诺德瓦尔;徐创杰 1 2021 通过良好的基础实现一致性。同伦类型理论中的驯服集商。 Zbl 1498.03033号 尼古拉·克劳斯;雅各布·冯·劳默 2 2020 商诱导类型。 Zbl 1506.03063号 托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;加布·迪克斯特拉;尼古拉·克劳斯;弗雷德里克·诺德瓦尔·福斯伯格 14 2018 同伦型理论中的自由高等群。 Zbl 1453.03003号 尼古拉·克劳斯;托尔斯滕·阿滕柯奇 4 2018 偏袒,重温。偏单子作为商归纳归纳类型。 Zbl 1486.68036号 托尔斯滕·阿滕柯奇;丹尼尔森、尼尔斯·安德斯;尼古拉·克劳斯 13 2017 马丁·洛夫类型理论中的匿名存在概念。 兹比尔1377.03005 尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇 7 2017 用严格等式推广同伦类型理论。 Zbl 1370.03014号 托尔斯滕·阿滕柯奇;保罗·卡普里奥蒂;尼古拉·克劳斯 9 2016 具有非递归更高归纳类型的构造。 Zbl 1394.03010号 尼古拉·克劳斯 7 2016 单价宇宙层次中的高级同伦。 Zbl 1354.03100号 克劳斯,尼古拉;克里斯蒂安·萨特勒 5 2015 命题截断的一般泛性质。 Zbl 1434.03150号 尼古拉·克劳斯 5 2015 函数超出了较高的截断。 Zbl 1373.03011号 保罗·卡普里奥蒂;尼古拉·克劳斯;安德烈亚·维佐西 1 2015 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 200 2013 Hedberg定理的推广。 Zbl 1433.03032号 尼古拉·克劳斯;马丁·埃斯卡多;可口、蒂埃里;托尔斯滕·阿滕柯奇 4 2013 所有引用出版物 前5名被引用出版物 全部的 前5名62位作者引用 7 克劳斯,尼古拉 4 托尔斯滕·阿滕柯奇 4 尼科洛·维尔特里 3 安布罗斯·卡波西 3 科瓦奇,安德拉斯 3 舒尔曼,迈克尔·A。 2 汤姆·J·德容。 2 罗伯特·哈珀 2 Hötzel Escardó,马汀 2 安德鲁·M·皮茨。 2 克里斯蒂安·萨特勒 2 溅出物,Bas 2 南卡罗来纳州斯坦坎普。 2 安德鲁·斯旺。 2 塔尔莫乌斯塔卢 2 范德维德,尼尔斯 1 卡洛·安吉利 1 丹尼尔·安尼科夫 1 安德烈·鲍尔 1 Bidlingmaier,Martin E。 1 布克·巴特 1 西蒙·博利埃 1 乌尔里克·巴赫霍尔茨 1 保罗·卡普里奥蒂 1 埃文·卡瓦洛 1 詹姆斯·查普曼(James T.E.Chapman)。 1 杰斯珀·考克斯 1 可口、蒂埃里 1 丹尼尔森、尼尔斯·安德斯 1 多米尼克·德夫里塞 1 弗洛里安·费索尔 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 贾尔·塔克斯·弗拉滕 1 科林·杰尼特 1 简·赫尔曼·杰弗斯 1 谢尔盖·冈查洛夫 1 菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。 1 Hou(Favonia)、Kuen-Bang 1 胡杰森Z.S。 1 黄昌琴 1 瓦列里·伊萨耶夫 1 安布罗斯·拉丰 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 彼得·勒法努,朗斯丹 1 新款,Max S。 1 弗雷德里克·诺德瓦尔·福斯伯格 1 碧姬·品特卡 1 弗兰克·皮森斯 1 平约,枪 1 马西耶·皮罗格 1 克里斯托夫·劳赫 1 埃格伯特·里杰克 1 乌尔里希·舍普 1 卢茨·施罗德 1 尼古拉斯·塔巴鲁 1 上村,太极 1 本诺·范登伯格 1 雅各布·冯·劳默 1 Niels F.W.Voorneveld。 1 王殿辉 1 王希哲 1 徐创杰 全部的 前5名10篇连载文章中引用 11 MSCS公司。计算机科学中的数学结构 9 计算机科学中的逻辑方法 2 ACM计算逻辑事务 1 剑桥哲学学会数学进展杂志 1 信息科学 1 理论计算机科学 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 数学逻辑季刊(MLQ) 1 函数编程杂志 全部的 前5名在6个字段中引用 34 数学逻辑和基础(03-XX) 25 计算机科学(68至XX) 15 范畴理论;同调代数(18-XX) 12 代数拓扑(55-XX) 2 有序,格,有序代数结构(06-XX) 1 测量和集成(28-XX) 按年份列出的引文