编辑配置文件(在新选项卡中打开) 卡洛·安吉利 合著者距离 作者ID: 安吉利·卡罗 发布日期: 卡洛·安吉利;血管瘤,C。 主页: https://www.cs.cmu.edu/~苍牛里/ 外部链接: ORCID公司·ResearchGate研究之门·数据库许可证 已编制索引的文档: 11出版物自2011年起,包括1个附加arXiv预打印 2进一步捐款 合著者: 13合著者具有13联合出版物 244合著者 全部的 前5名合著者 0 单作者的 7 罗伯特·哈珀 4 侯(法沃尼亚),Kuen Bang 4 乔纳森·斯特林 三 丹尼尔·李卡塔(Daniel R.Licata)。 2 阿卡尔(Umut A.Acar)。 2 纪尧姆·布鲁内里 2 可口、蒂埃里 2 丹尼尔·格拉泽 2 丹·利卡塔 2 爱德华·莫尔豪斯 1 彼得·阿策尔 1 阿加瓦尔,阿什什 1 阿伦斯,贝内迪克特 1 托尔斯滕·阿滕柯奇 1 杰里米·阿维加德 1 噢,史蒂夫 1 布鲁诺·巴拉斯 1 安德烈·鲍尔 1 哈里·贝科维奇 1 伊夫·贝托特 1 马克·贝泽姆 1 安东尼·博尔吉 1 埃文·卡瓦洛 1 佩里·程 1 西里尔·科恩 1 罗伯特·李,警察 1 皮埃尔·卢伊斯·居里 1 德里克·德雷尔(Derek R.Dreyer)。 1 彼得·戴比杰 1 卡冯·法塔哈利安 1 尼古拉斯·费尔特曼 1 埃里克·芬斯特 1 尼古拉·甘比诺 1 理查德·加纳 1 乔治·戈蒂尔 1 丹尼尔·理查德·格雷森 1 托马斯·卡利斯特·黑尔斯 1 雨果·赫贝林 1 马丁·霍夫曼 1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 Hötzel Escardó,马丁 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 约阿希姆·科克 1 尼古拉·克劳斯 1 李诺 1 彼得·勒法努·卢姆斯代恩 1 罗朝晖 1 阿西亚·马布比 1 马丁·洛夫(Martin-Löf,Per) 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 格雷格·莫里塞特 1 汤姆七世墨菲 1 迈克尔·纳哈斯 1 埃里克·帕尔姆格伦 1 阿尔瓦罗·佩莱奥 1 彼得森,叶 1 本杰明·皮尔斯。 1 安德鲁·波伦斯基 1 艾米丽·里尔 1 埃格伯特·里杰克 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 Michael A.舒尔曼。 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 索索、马蒂厄 1 溅出物,Bas 1 丹尼尔·斯波恩豪威尔 1 克里斯托弗·A·斯通。 1 约瑟夫·塔萨罗蒂 1 1 本诺·范登伯格 1 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 1 沃伦、迈克尔·奥尔顿 1 托德·威尔逊 1 诺姆·齐尔伯格 系列 2 函数编程杂志 1 组合理论杂志。系列A 1 MSCS公司。计算机科学中的数学结构 1 Indagationes Mathematicae公司。新系列 1 计算机科学中的逻辑方法 全部的 前5名字段 9 数学逻辑和基础(03-XX) 5 代数拓扑(55-XX) 5 计算机科学(68-XX) 2 范畴理论;同调代数(18-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 代数几何(14-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用42中的次26文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 199 2013 计算高维类型理论。 Zbl 1380.68112号 卡洛·安吉利;罗伯特·哈珀;托德·威尔逊 16 2017 笛卡尔立方计算类型理论:具有路径和等式的构造性推理。 Zbl 07533331号 卡洛·安吉利;侯建邦(Favonia);罗伯特·哈珀 9 2018 无反射外延相等的立体语法。 Zbl 1528.03113号 乔纳森·斯特林;卡洛·安吉利;丹尼尔·格拉泽 4 2019 笛卡尔立方类型理论的句法和模型。 Zbl 07460116号 卡洛·安吉利;纪尧姆·布鲁内里;可口、蒂埃里;罗伯特·哈珀;侯(法沃尼亚),Kuen Bang;丹尼尔·李卡塔(Daniel R.Licata)。 4 2021 更高维度的意义解释。 Zbl 1436.03102号 卡洛·安吉利;罗伯特·哈珀 三 2018 同源斑块理论。 Zbl 1420.68060号 卡洛·安吉利;爱德华·莫尔豪斯;丹尼尔·李卡塔(Daniel R.Licata)。;罗伯特·哈珀 三 2016 主教布景的立体语言。 Zbl 07566056号 乔纳森·斯特林;卡洛·安吉利;丹尼尔·格拉泽 1 2022 同源斑块理论。 兹比尔1345.68093 卡洛·安吉利;爱德华·莫尔豪斯;丹尼尔·李卡塔(Daniel R.Licata)。;罗伯特·哈珀 1 2014 刚性度量的极值分量数。 Zbl 1234.14038号 血管瘤,C。;H.贝科维奇。 1 2011 主教布景的立体语言。 Zbl 07566056号 乔纳森·斯特林;卡洛·安吉利;丹尼尔·格拉泽 1 2022 笛卡尔立方类型理论的句法和模型。 Zbl 07460116号 卡洛·安吉利;纪尧姆·布鲁内里;可口、蒂埃里;罗伯特·哈珀;侯(法沃尼亚),Kuen Bang;丹尼尔·李卡塔(Daniel R.Licata)。 4 2021 无反射扩展等式的立方语法。 Zbl 1528.03113号 乔纳森·斯特林;卡洛·安吉利;丹尼尔·格拉泽 4 2019 笛卡尔立方计算类型理论:具有路径和等式的构造性推理。 Zbl 07533331号 卡洛·安吉利;侯建邦(Favonia);罗伯特·哈珀 9 2018 更高维度的意义解释。 Zbl 1436.03102号 卡洛·安吉利;罗伯特·哈珀 三 2018 计算高维类型理论。 Zbl 1380.68112号 卡洛·安吉利;罗伯特·哈珀;托德·威尔逊 16 2017 同源斑块理论。 Zbl 1420.68060号 卡洛·安吉利;爱德华·莫尔豪斯;丹尼尔·李卡塔(Daniel R.Licata)。;罗伯特·哈珀 三 2016 同源斑块理论。 Zbl 1345.68093号 卡洛·安吉利;爱德华·莫尔豪斯;丹尼尔·李卡塔(Daniel R.Licata)。;罗伯特·哈珀 1 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 199 2013 刚性度量的极值分量数。 Zbl 1234.14038号 血管瘤,C。;H.贝科维奇。 1 2011 所有引用出版物 前5名被引用出版物 全部的 前5名41位作者引用 5 卡洛·安吉利 4 乌尔里克·巴赫霍尔茨 三 罗伯特·哈珀 三 侯(法沃尼亚),Kuen Bang 2 托尔斯滕·阿滕柯奇 2 西蒙·博利埃 2 丹尼尔·格拉泽 2 安布罗斯·卡波西 2 丹尼尔·李卡塔(Daniel R.Licata)。 2 安德斯·莫特伯格 2 克里斯蒂安·萨特勒 2 乔纳森·斯特林 2 范德维德,尼尔斯 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 丹尼尔·安尼科夫 1 安德烈·鲍尔 1 布鲁诺·本岑 1 哈里·贝尔科维奇 1 Bidlingmaier,Martin E。 1 纪尧姆·布鲁内里 1 保罗·卡普里奥蒂 1 詹姆斯·切尼 1 可口、蒂埃里 1 弗洛里安·费索尔 1 简·赫尔曼·杰弗斯 1 丹尼尔·理查德·格雷森 1 菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。 1 西蒙·胡贝尔 1 尼古拉·克劳斯 1 李永寿 1 爱德华·莫尔豪斯 1 新,Max S。 1 罗利·佩雷拉 1 菲利波·塞斯蒂尼 1 溅出物,Bas 1 安德鲁·斯旺。 1 尼古拉斯·塔巴鲁 1 弗洛里斯·范·道恩 1 尼科洛·维尔特里 1 安德烈亚·维佐西 1 雅各布·冯·劳默 全部的 前5名7篇连载文章中引用 7 MSCS公司。计算机科学中的数学结构 4 计算机科学中的逻辑方法 2 自动推理杂志 1 美国数学学会公报。新系列 1 Indagationes Mathematicae公司。新系列 1 代数组合数学杂志 1 函数编程杂志 全部的 前5名在9个字段中引用 18 数学逻辑和基础(03-XX) 12 代数拓扑(55-XX) 11 计算机科学(68-XX) 7 范畴理论;同调代数(18-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 代数几何(14-XX) 1 测量和集成(28-XX) 按年份列出的引文