编辑配置文件（在新选项卡中打开） 范德维德，尼尔斯 合著者距离 作者ID： van-der-weide.niels公司 发布日期： 范德维德，尼尔斯 编入索引的文档： 11出版物自2019年起，包括4额外的arXiv预印本 合著者： 7合著者具有8份联合出版物 118位合作作者 全部的 前5名合著者 三 单作者的 5 阿伦斯，贝内迪克特 三 北，Paige Randall 三 尼科洛·维尔特里 2 丹·弗鲁明 2 马可·马格西 2 尼玛·拉塞克 1 简·赫尔曼·杰弗斯 系列 2 MSCS公司。计算机科学中的数学结构 1 计算机科学中的逻辑方法 领域 5 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 4 范畴理论；同调代数（18-XX） 2 代数拓扑（55-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用11中的次10文件 引用人▼ 年份▼ 在Agda中通过大小类型保护递归。 Zbl 1528.68071号 尼科洛·维尔特里;范德维德，尼尔斯 4 2019 单价基础中的双类别。 Zbl 1528.18019号 阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;范德维德，尼尔斯 2 2019 构造更高的归纳类型作为广群商。 Zbl 1498.03036号 范德维德，尼尔斯 2 2020 机顶盒高电感类型的构造。 Zbl 07515964号 范德维德，尼尔斯;赫尔曼·盖弗斯 1 2019 单价基础中的双类别。 Zbl 1514.18019号 阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;尼科洛·维尔特里;范德维德，尼尔斯 1 2021 构造更高的归纳类型作为广群商。 Zbl 1498.03037号 尼科洛·维尔特里;范德维德，尼尔斯 1 2021 单价基础中的双类别。 Zbl 1514.18019号 阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;尼科洛·维尔特里;范德维德，尼尔斯 1 2021 构造更高的归纳类型作为广群商。 Zbl 1498.03037号 尼科洛·维尔特里;范德维德，尼尔斯 1 2021 构造更高的归纳类型作为广群商。 Zbl 1498.03036号 范德维德，尼尔斯 2 2020 在Agda中通过大小类型保护递归。 Zbl 1528.68071号 尼科洛·维尔特里;范德维德，尼尔斯 4 2019 单价基础中的双类别。 Zbl 1528.18019号 阿伦斯，贝内迪克特;丹·弗鲁明;马可·马格西;范德维德，尼尔斯 2 2019 机顶盒高电感类型的构造。 Zbl 07515964号 范德维德，尼尔斯;赫尔曼·盖弗斯 1 2019 所有引用出版物 前5名被引用出版物 全部的 前5名20位作者引用 4 范德维德，尼尔斯 三 尼科洛Veltri 2 阿伦斯，贝内迪克特 1 阿列舍·比兹亚克 1 乔里斯·塞勒曼斯 1 多米尼克·德夫里塞 1 丹·弗鲁明 1 简·赫尔曼·杰弗斯 1 贾比尔，吉尔赫姆 1 克里斯托弗·詹金斯 1 安布罗斯·卡波西 1 科瓦奇，安德拉斯 1 马可·马格西 1 安德鲁·马马杜基 1 莫格尔贝里，拉斯穆斯·埃杰勒斯 1 北，Paige Randall 1 安德烈亚斯·努伊茨 1 里巴，科林 1 阿伦·斯塔姆 1 尼尔斯·F·W·沃恩维尔德。 2篇连载文章中引用 三 MSCS公司。计算机科学中的数学结构 2 计算机科学中的逻辑方法 在4个字段中引用 8 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 三 范畴理论；同调代数（18-XX） 1 代数拓扑（55-XX） 按年份列出的引文