编辑配置文件(在新选项卡中打开) 沃伦、迈克尔·奥尔顿 合著者距离 作者ID: warren.michael-a公司 发布日期: 迈克尔·沃伦(Michael A.Warren)。;迈克尔·沃伦;沃伦,医学硕士。 更多。。。较少的 主页: 网址:http://mawarren.net/ 外部链接: MGP公司·ORCID公司·数据库许可证 已编制索引的文档: 18出版物自2005年以来,包括4个附加arXiv预打印 1进一步贡献 合著者: 8位合著者具有13联合出版物 140位合作作者 全部的 前5名合著者 4 单作者的 6 噢,史蒂夫 5 阿尔瓦罗·佩莱奥 三 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 三 彼得·勒法努·卢姆斯代恩 2 尼古拉·甘比诺 2 约翰·格雷沙姆 2 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 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 Hötzel Escardó,马丁 1 侯(法沃尼亚),Kuen Bang 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 约阿希姆·科克 1 尼古拉·克劳斯 1 李诺 1 丹·利卡塔 1 罗朝晖 1 阿西亚·马布比 1 马丁·洛夫(Martin-Löf,Per) 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔·纳哈斯 1 埃里克·帕尔姆格伦 1 安德鲁·波伦斯基 1 多雷特·普龙克。 1 艾米丽·里尔 1 埃格伯特·里杰克 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 Michael A.舒尔曼。 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 索索、马蒂厄 1 溅出物,Bas 1 1 本诺·范登伯格 1 诺姆·齐尔伯格 全部的 前5名系列 三 纯逻辑与应用逻辑年鉴 三 范畴的理论与应用 1 剑桥哲学学会数学进展杂志 1 数学公报 1 符号逻辑杂志 1 MSCS公司。计算机科学中的数学结构 1 美国数学学会公报。新系列 1 美国数学学会通告 1 ACM计算逻辑事务 全部的 前5名字段 13 数学逻辑和基础(03-XX) 12 范畴理论;同调代数(18-XX) 8 代数拓扑(55-XX) 三 计算机科学(68-XX) 1 数论(11-XX) 1 代数几何(14-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 14出版物有被引用142中的次113文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 199 2013 身份类型的同伦理论模型。 Zbl 1205.03065号 噢,史蒂夫;迈克尔·沃伦(Michael A.Warren)。 65 2009 局部宇宙模型:依赖型理论被忽视的连贯结构。 Zbl 1354.03101号 彼得·勒法努·卢姆斯代恩;沃伦,迈克尔·A。 27 2015 同调型理论和Voevodsky的单价基础。 Zbl 1432.03019号 佩拉约,阿尔瓦罗;迈克尔·沃伦(Michael A.Warren)。 8 2014 谓词代数集理论。 Zbl 1072.18004号 噢,史蒂夫;迈克尔·沃伦(Michael A.Warren)。 7 2005 类型理论的严格(欧米伽)-群解释。 Zbl 1243.03012号 迈克尔·沃伦(Michael A.Warren)。 6 2011 同伦类型理论中的Voevodsky单价公理。 Zbl 1337.03014号 噢,史蒂夫;阿尔瓦罗·佩莱奥;迈克尔·沃伦(Michael A.Warren)。 6 2013 双类别纤维结构和堆叠。 Zbl 1361.18003号 多雷特·普龙克。;迈克尔·沃伦(Michael A.Warren)。 6 2014 类型理论的组合可实现性模型。 Zbl 1323.03013号 彼得·霍夫斯特拉;迈克尔·沃伦(Michael A.Warren)。 5 2013 (p)-基数的单叶形式化。 Zbl 1361.68190号 阿尔瓦罗·佩莱奥;弗拉基米尔·沃沃德斯基;迈克尔·沃伦(Michael A.Warren)。 4 2015 类类别中的余代数。 Zbl 1112.18002号 迈克尔·沃伦(Michael A.Warren)。 三 2007 代数集合论中的Lawvere-Tierney滑轮。 Zbl 1183.03068号 南卡罗来纳州阿沃迪。;新泽西州甘比诺。;Lumsdaine,P.L。;沃伦,医学硕士。 2 2009 Martin-Löf复合体。 Zbl 1323.03012号 噢,史蒂夫;彼得·霍夫斯特拉;迈克尔·沃伦(Michael A.Warren)。 2 2013 可表示区间的特征。 兹比尔1255.18007 迈克尔·沃伦(Michael A.Warren)。 1 2012 局部宇宙模型:依赖型理论中被忽视的一致性结构。 Zbl 1354.03101号 彼得·勒法努·卢姆斯代恩;迈克尔·沃伦(Michael A.Warren)。 27 2015 (p)-基数的单叶形式化。 Zbl 1361.68190号 阿尔瓦罗·佩莱奥;弗拉基米尔·沃沃德斯基;迈克尔·沃伦(Michael A.Warren)。 4 2015 同伦类型理论和Voevodsky的单叶基础。 Zbl 1432.03019号 阿尔瓦罗·佩莱奥;迈克尔·沃伦(Michael A.Warren)。 8 2014 双类别纤维结构和堆叠。 Zbl 1361.18003号 多雷特·普龙克。;迈克尔·沃伦(Michael A.Warren)。 6 2014 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 199 2013 同伦类型理论中的Voevodsky单价公理。 Zbl 1337.03014号 噢,史蒂夫;阿尔瓦罗·佩莱奥;迈克尔·沃伦(Michael A.Warren)。 6 2013 类型理论的组合可实现性模型。 Zbl 1323.03013号 彼得·霍夫斯特拉;迈克尔·沃伦(Michael A.Warren)。 5 2013 Martin-Löf复合体。 Zbl 1323.03012号 噢,史蒂夫;彼得·霍夫斯特拉;迈克尔·沃伦(Michael A.Warren)。 2 2013 可代表区间的特征。 Zbl 1255.18007号 迈克尔·沃伦(Michael A.Warren)。 1 2012 类型理论的严格(欧米伽)-群解释。 Zbl 1243.03012号 迈克尔·沃伦(Michael A.Warren)。 6 2011 身份类型的同伦理论模型。 Zbl 1205.03065号 噢,史蒂夫;迈克尔·沃伦(Michael A.Warren)。 65 2009 代数集合论中的Lawvere-Tierney滑轮。 Zbl 1183.03068号 南卡罗来纳州阿沃迪。;甘比诺,N。;卢姆斯丹,P.L。;沃伦,医学硕士。 2 2009 一类中的并集。 Zbl 1112.18002号 迈克尔·沃伦(Michael A.Warren)。 三 2007 谓词代数集理论。 Zbl 1072.18004号 噢,史蒂夫;迈克尔·沃伦(Michael A.Warren)。 7 2005 所有引用出版物 排名前五的出版物 全部的 前5名120位作者引用 10 噢,史蒂夫 8 彼得·勒法努·卢姆斯代恩 8 Michael A.舒尔曼。 7 尼古拉·甘比诺 7 沃伦、迈克尔·奥尔顿 5 罗伯特·哈珀 5 Krzysztof卡普尔金 4 卡洛·安吉利 4 可口、蒂埃里 4 理查德·加纳 三 丹尼尔·李卡塔(Daniel R.Licata)。 三 Jean-Pierre侯爵 三 阿尔瓦罗·佩莱奥 三 安德鲁·皮特斯(Andrew M.Pitts)。 三 托马斯·斯特里彻 三 本诺·范登伯格 2 萨姆森·艾布拉姆斯基 2 乌尔里克·巴赫霍尔茨 2 玛丽亚·艾米丽亚·德斯科特 2 爱德华多·杜布克。 2 雅各布·埃梅内格 2 西蒙·亨利 2 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 2 Hötzel Escardó,马丁 2 西蒙·胡贝尔 2 拉德哈·贾加迪桑 2 尼古拉·克劳斯 2 Moerdijk,比如 2 莫格尔贝里,拉斯穆斯·埃杰勒斯 2 伊恩·奥尔顿 2 埃里克·帕尔姆格伦 2 法比奥·帕斯夸利 2 艾米丽·里尔 2 埃格伯特·里杰克 2 大卫·迈克尔·罗伯茨 2 朱塞佩·罗索里尼 2 亚历克斯·K·辛普森。 2 溅出物,Bas 2 乔纳森·斯特林 2 苏米奥·卡罗尔 2 马丁·西尔德 2 迪米特里斯·泽梅齐斯 2 马蒂杰斯·瓦卡 2 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 2 雅各布·冯·劳默 1 纳撒内尔·利多姆·阿克曼 1 阿伦斯,贝内迪克特 1 托尔斯滕·阿滕柯奇 1 斯塔凡·安热尔 1 彼得·F·阿恩特。 1 杰里米·阿维加德 1 布鲁诺·巴拉斯 1 安德烈·鲍尔 1 亚历山大·贝林森。 1 布鲁诺·本岑 1 马克·贝泽姆 1 Bidlingmaier,Martin E。 1 拉尔斯·比克达尔 1 阿列舍·比兹亚克 1 安东尼·博尔吉 1 约翰·伯克 1 卡斯滕·布茨 1 西蒙·卡斯特兰 1 吉安卢卡·卡特琳娜 1 埃文·卡瓦洛 1 皮埃尔·克莱兰堡 1 拉纳德·A·克鲁斯顿。 1 托马斯·科特雷尔 1 皮埃尔·卢伊斯·居里 1 丹尼尔森、尼尔斯·安德斯 1 汤姆·J·德容。 1 彼得·戴比杰 1 欧文·恩格尔 1 延斯·埃里克·芬斯塔德 1 丹·弗鲁明 1 藤井宗一郎 1 恒河、洛克 1 戴维·格普纳 1 丹尼尔·格拉泽 1 丹尼尔·理查德·格雷森 1 赫孔·罗贝斯塔德·吉尔特鲁德 1 约瑟夫·海尔弗 1 马丁·霍夫曼 1 侯(法沃尼亚),Kuen Bang 1 瓦列里·伊萨耶夫 1 大卫·卡日丹 1 约阿希姆·科克 1 女郎,詹姆斯 1 弗朗索瓦·拉马克 1 马可·费德里科·拉雷阿 1 克劳斯·美因泽 1 巴赛尔·曼纳 1 马蒂尔德·马科利 1 Aleksandr Sergeevich Merkur’ev 1 爱德华·莫尔豪斯 1 安德斯·莫特伯格 1 新,Max S。 1 北,Paige Randall 1 德米特里·奥尔洛夫。 1 伊万·帕宁(Ivan A.Panin)。 …还有20多位作者 全部的 前5名34篇连载文章中引用 21 MSCS公司。计算机科学中的数学结构 12 纯逻辑与应用逻辑年鉴 9 计算机科学中的逻辑方法 5 纯粹与应用代数杂志 4 合成 4 美国数学学会公报。新系列 三 Indagationes Mathematicae公司。新系列 三 符号逻辑公报 三 范畴的理论与应用 2 剑桥哲学学会数学进展杂志 2 符号逻辑杂志 2 理论计算机科学 2 应用的分类结构 2 函数编程杂志 2 应用逻辑杂志 2 符号逻辑述评 2 高层建筑 1 俄罗斯数学调查 1 数学信使 1 数学进展 1 《伦敦数学学会通报》 1 数学出版物 1 伦敦数学学会杂志。第二系列 1 信息与计算 1 自动推理杂志 1 数学论坛 1 图卢兹科学学院年鉴。数学题。塞里六世 1 选择Mathematica。新系列 1 欧洲数学学会杂志(JEMS) 1 ACM计算逻辑事务 1 地中海数学杂志 1 数学论坛,西格玛 1 数学 1 范畴和一般代数结构及其应用 全部的 前5名在16个字段中引用 85 数学逻辑和基础(03-XX) 68 范畴理论;同调代数(18-XX) 47 代数拓扑(55-XX) 22 计算机科学(68-XX) 8 总体主题;集合(00-XX) 2 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 数论(11-XX) 1 群论与推广(20-XX) 1 拓扑群、李群(22日至XX日) 1 动力系统和遍历理论(37至XX) 1 微分几何(53至XX) 1 流形和细胞复合体(57至XX) 1 整体分析,流形分析(58至XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文