编辑配置文件(在新选项卡中打开) 安布罗斯·卡波西 合著者距离 作者ID: 卡波西胚 发布日期: 安布罗斯·卡波西 外部链接: ORCID公司 编入索引的文档: 14出版物自2014年起,包括1个附加arXiv预打印 1名编辑贡献 合著者: 13合著者具有15联合出版物 133位合作作者 全部的 前5名合著者 0 单作者的 6 托尔斯滕·阿滕柯奇 5 科瓦奇,安德拉斯 三 克里斯蒂安·萨特勒 2 西蒙·博利埃 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 拉法·博奎特 1 保罗·卡普里奥蒂 1 西蒙·胡贝尔 1 尼古拉·克劳斯 1 安布罗斯·拉丰 1 弗雷德里克·诺德瓦尔·福斯伯格 1 菲利波·塞斯蒂尼 1 尼古拉斯·塔巴鲁 系列 2 计算机科学中的逻辑方法 1 LIPIcs–莱布尼茨国际信息学会议录 领域 12 数学逻辑和基础(03-XX) 7 计算机科学(68至XX) 2 范畴理论;同调代数(18-XX) 2 代数拓扑(55-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用68中的次41文件 引用人▼ 年份▼ 类型理论在使用商归纳类型的类型理论中。 Zbl 1347.68045号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 29 2016 在类型理论中,通过对类型理论的评估进行规范化。 Zbl 1459.03013号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 7 2017 用于更高归纳归纳类型的语法。 Zbl 1462.68022号 安布罗斯·卡波西;科瓦奇,安德拉斯 7 2018 通过评估依赖类型进行标准化。 Zbl 1387.68060号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 5 2016 类型理论的粘合。 Zbl 1528.03107号 安布罗斯·卡波西;西蒙·胡贝尔;克里斯蒂安·萨特勒 4 2019 自由应用函子。 Zbl 1464.68053号 保罗·卡普里奥蒂;安布罗斯·卡波西 4 2014 大商和无限商归纳归纳类型。 Zbl 1498.03032号 科瓦奇,安德拉斯;安布罗斯·卡波西 4 2020 Setoid类型理论——句法翻译。 Zbl 1434.03034号 托尔斯滕·阿滕柯奇;西蒙·博利埃;安布罗斯·卡波西;尼古拉斯·塔巴鲁 三 2019 高级归纳归纳类型的特征和归纳原理。 Zbl 1528.03108号 安布罗斯·卡波西;科瓦奇,安德拉斯 2 2020 朝向一个没有间隔的立方型理论。 Zbl 1434.03035号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 1 2018 构建刚毛模型的宇宙。 Zbl 07410416号 托尔斯滕·阿滕柯奇;西蒙·博利埃;安布罗斯·卡波西;克里斯蒂安·萨特勒;菲利波·塞斯蒂尼 1 2021 对于有限归纳法,归纳法就足够了。 Zbl 07756111号 安布罗斯·卡波西;科瓦奇,安德拉斯;安布罗斯·拉丰 1 2020 构建刚毛模型的宇宙。 Zbl 07410416号 托尔斯滕·阿滕柯奇;西蒙·博利埃;安布罗斯·卡波西;克里斯蒂安·萨特勒;菲利波·塞斯蒂尼 1 2021 大商和无限商归纳归纳类型。 Zbl 1498.03032号 科瓦奇,安德拉斯;安布罗斯·卡波西 4 2020 高感应类型的特征和感应原理。 Zbl 1528.03108号 安布罗斯·卡波西;科瓦奇,安德拉斯 2 2020 对于有限归纳法,归纳法就足够了。 Zbl 07756111号 安布罗斯·卡波西;科瓦奇,安德拉斯;安布罗斯·拉丰 1 2020 类型理论的粘合。 Zbl 1528.03107号 安布罗斯·卡波西;西蒙·胡贝尔;克里斯蒂安·萨特勒 4 2019 Setoid类型理论——句法翻译。 兹伯利1434.03034 托尔斯滕·阿滕柯奇;西蒙·博利埃;安布罗斯·卡波西;尼古拉斯·塔巴鲁 三 2019 用于更高归纳归纳类型的语法。 Zbl 1462.68022号 安布罗斯·卡波西;科瓦奇,安德拉斯 7 2018 朝向一个没有间隔的立方型理论。 Zbl 1434.03035号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 1 2018 在类型理论中,通过对类型理论的评估进行规范化。 Zbl 1459.03013号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 7 2017 类型理论在使用商归纳类型的类型理论中。 Zbl 1347.68045号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 29 2016 通过评估依赖类型进行标准化。 Zbl 1387.68060号 托尔斯滕·阿滕柯奇;安布罗斯·卡波西 5 2016 自由应用函子。 Zbl 1464.68053号 保罗·卡普里奥蒂;安布罗斯·卡波西 4 2014 所有引用出版物 前5名被引用出版物 全部的 前5名被75位作者引用 6 安布罗斯·卡波西 5 可口、蒂埃里 4 托尔斯滕·阿滕柯奇 4 尼古拉·克劳斯 4 克里斯蒂安·萨特勒 三 丹尼尔·格拉泽 三 科瓦奇,安德拉斯 三 范德维德,尼尔斯 2 卡洛·安吉利 2 西蒙·博利埃 2 毛罗·贾斯克利奥夫 2 碧姬·品特卡 2 安德鲁·皮特斯(Andrew M.Pitts)。 2 菲利波·塞斯蒂尼 2 Michael A.舒尔曼。 2 南卡罗来纳州斯坦坎普。 2 乔纳森·斯特林 2 阿伦·斯塔姆 2 尼科洛·维尔特里 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 纪尧姆·阿拉伊斯 1 阿南德,阿比舍克 1 丹尼尔·安尼科夫 1 安德烈·鲍尔 1 让-菲利普·伯纳迪 1 马克·贝泽姆 1 拉尔斯·比克达尔 1 乌尔里克·巴赫霍尔茨 1 保罗·卡普里奥蒂 1 西里尔·科恩 1 米歇尔·康坦特 1 丹尼尔森、尼尔斯·安德斯 1 彼得·戴比杰 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 扬尼克·福斯特 1 科林·吉尼特 1 简·赫尔曼·杰弗斯 1 杰里米·吉本斯 1 Aliya Hameer 1 菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。 1 Hötzel Escardó,马汀 1 胡杰森Z.S。 1 西蒙·胡贝尔 1 张俊英 1 克里斯托弗·詹金斯 1 卡沃斯,G.A。 1 肾脏,Donnacha Oisín 1 费边·昆泽 1 安布罗斯·拉丰 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 彼得·勒法努·卢姆斯代恩 1 玛丽亚·艾米莉亚·梅埃蒂 1 格雷戈里·马莱查 1 安德鲁·马马杜基 1 尼尔·米切尔 1 阿尔贝托·莫米利亚诺 1 吉尔亨·穆林 1 弗雷德里克·诺德瓦尔·福斯伯格 1 安德烈亚斯·努伊茨 1 罗素·奥康纳 1 佩顿·琼斯,西蒙·L。 1 平约,枪 1 米切尔·莱利 1 埃克塞奎尔·里瓦斯 1 费比安·鲁奇 1 史蒂文·施费尔 1 汤姆·施里杰弗斯 1 索索、马蒂厄 1 凯瑟琳·斯塔克 1 安德鲁·斯旺。 1 尼古拉斯·塔巴鲁 1 恩里科·塔西 1 塞奥温特哈尔特 1 尼古拉斯·吴 1 徐创杰 全部的 前5名8篇连载文章中引用 6 计算机科学中的逻辑方法 5 函数编程杂志 三 理论计算机科学 三 MSCS公司。计算机科学中的数学结构 2 自动推理杂志 1 剑桥哲学学会数学进展杂志 1 纯逻辑与应用逻辑年鉴 1 数学逻辑季刊(MLQ) 在4个字段中引用 26 数学逻辑和基础(03-XX) 24 计算机科学(68至XX) 9 范畴理论;同调代数(18-XX) 5 代数拓扑(55-XX) 按年份列出的引文