×
作者ID: 安吉利·卡罗最近由“Angiuli,Carlo”撰写的zbMATH文章
发布日期: 卡洛·安吉利;血管瘤,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 诺姆·齐尔伯格

按年份列出的出版物

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

按年份列出的引文