编辑配置文件(在新选项卡中打开) 彼得·勒法努·卢姆斯代恩 合著者距离 作者ID: 卢姆斯丹·彼得·勒法努 发布日期: 彼得·勒法努·卢姆斯代恩;彼得·勒法努·卢姆斯代恩;彼得·勒法努·朗斯丹;彼得·勒法努·卢姆斯代恩;彼得·卢姆斯代恩;Lumsdaine,P.L。 更多。。。较少的 主页: http://peterlefanulumsdaine.com/ 外部链接: MGP公司·ORCID公司·谷歌学者·数学溢出·数据库许可证 已编制索引的文档: 24出版物自2009年起,包括4个附加arXiv预打印 3作为编辑的贡献·1进一步贡献 合著者: 28位合著者具有25联合出版物 419名合作作者 全部的 前5名合著者 三 单作者的 7 Krzysztof卡普尔金 5 阿伦斯,贝内迪克特 4 安德烈·鲍尔 4 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 三 丹·利卡塔 三 Michael A.舒尔曼。 三 沃伦、迈克尔·奥尔顿 2 杰里米·阿维加德 2 史蒂夫·阿沃迪 2 埃里克·芬斯特 2 尼古拉·甘比诺 2 Hötzel Escardó,马汀 2 侯(法沃尼亚),Kuen Bang 2 索索、马蒂厄 2 溅出物,Bas 1 彼得·阿策尔 1 托尔斯滕·阿滕柯奇 1 卡洛·安吉利 1 布鲁诺·巴拉斯 1 伊夫·贝托特 1 马克·贝泽姆 1 奥克·巴特·布伊吉 1 安东尼·博尔吉 1 纪尧姆·布鲁内里 1 西里尔·科恩 1 罗伯特·李,警察 1 可口、蒂埃里 1 皮埃尔·卢伊斯·居里 1 彼得·戴比杰 1 亨利克·福赛尔 1 理查德·加纳 1 乔治·戈蒂尔 1 丹尼尔·理查德·格雷森 1 Green,Alexander S。 1 杰森·格罗斯 1 托马斯·卡利斯特·黑尔斯 1 罗伯特·哈珀 1 菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。 1 雨果·赫贝林 1 马丁·霍夫曼 1 彼得·霍夫斯特拉(Pieter J.W.Hofstra)。 1 安德烈·乔亚尔 1 约阿希姆·科克 1 尼古拉·克劳斯 1 保罗·拉森。 1 李诺 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 罗朝晖 1 阿西亚·马布比 1 马丁·洛夫(Martin-Löf,Per) 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔·纳哈斯 1 埃里克·帕尔姆格伦 1 阿尔瓦罗·佩莱奥 1 安德鲁·波伦斯基 1 艾米丽·里尔 1 埃格伯特·里杰克 1 尼尔·J·罗斯。 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 彼得·塞林格 1 迈克·舒尔曼 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 尼古拉斯·塔巴鲁 1 1 贝诺缬氨酸 1 本诺·范登伯格 1 尹一木 1 诺姆·齐尔伯格 全部的 前5名系列 三 MSCS公司。计算机科学中的数学结构 三 计算机科学中的逻辑方法 2 剑桥哲学学会数学进展杂志 2 符号逻辑杂志 2 范畴的理论与应用 1 数学进展 1 纯粹与应用代数杂志 1 自动推理杂志 1 欧洲数学学会杂志(JEMS) 1 ACM计算逻辑事务 全部的 前5名字段 23 数学逻辑和基础(03-XX) 18 范畴理论;同调代数(18-XX) 13 代数拓扑(55-XX) 5 计算机科学(68至XX) 三 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 量子理论(81-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用195中的次130文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 兹比尔1298.03002 单价基金项目 199 2013 单价基础的单纯模型(在Voevodsky之后)。 Zbl 1471.18025号 Krzysztof卡普尔金;彼得·勒法努·卢姆斯代恩 37 2021 奎珀量子编程简介。 Zbl 1406.68013号 Green,Alexander S。;彼得·勒法努·卢姆斯代恩;尼尔·J·罗斯。;彼得·塞林格;贝诺缬氨酸 28 2013 局部宇宙模型:依赖型理论被忽视的连贯结构。 Zbl 1354.03101号 彼得·勒法努·卢姆斯代恩;迈克尔·沃伦(Michael A.Warren)。 27 2015 较高归纳类型的语义。 Zbl 1470.18007号 彼得·勒法努,朗斯丹;迈克尔·舒尔曼 15 2020 内涵型理论中的弱欧米伽范畴。 Zbl 1250.03127号 彼得·勒法努·卢姆斯代恩 14 2010 类型理论中的同伦极限。 Zbl 1362.18004号 杰里米·阿维加德;Krzysztof卡普尔金;彼得·勒法努·卢姆斯代恩 14 2015 类型理论的同伦理论。 Zbl 1397.18015号 Krzysztof卡普尔金;彼得·勒法努·卢姆斯代恩 12 2018 弱范畴——来自内涵类型理论。 Zbl 1200.03050号 彼得·勒法努·卢姆斯代恩 10 2009 类型理论的简单模型中的排除中间律。 Zbl 1452.03038号 克里斯·卡普尔金;彼得·勒法努·卢姆斯代恩 8 2020 显示的类别。 兹伯利1419.18001 阿伦斯,贝内迪克特;彼得·勒法努·卢姆斯代恩 7 2019 单价基础中类型理论的分类结构。 Zbl 1496.03053号 阿伦斯,贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基 6 2018 同伦类型理论中Blakers-Massey连通性定理的机械化。 兹比尔1395.55011 侯(法沃尼亚),Kuen Bang;埃里克·芬斯特;丹尼尔·李卡塔(Daniel R.Licata)。;彼得·勒法努·卢姆斯代恩 5 2016 论拓扑中的布尔巴基-维特原则。 Zbl 1286.03164号 安德烈·鲍尔;彼得·勒法努·卢姆斯代恩 5 2013 显示的类别。 Zbl 1434.18002号 阿伦斯,贝内迪克特;彼得·勒法努,朗斯丹 三 2017 代数集合论中的Lawvere-Tierney滑轮。 Zbl 1183.03068号 南卡罗来纳州阿沃迪。;新泽西州甘比诺。;Lumsdaine,P.L。;沃伦,医学硕士。 2 2009 单价基础中类型理论的分类结构。 Zbl 1528.03100号 阿伦斯,贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基 2 2017 单价基础的简化模型(以Voevodsky命名)。 Zbl 1471.18025号 Krzysztof卡普尔金;彼得·勒法努·卢姆斯代恩 37 2021 高级归纳类型的语义。 Zbl 1470.18007号 彼得·勒法努·卢姆斯代恩;迈克尔·舒尔曼 15 2020 类型理论的简单模型中的排除中间律。 Zbl 1452.03038号 克里斯·卡普尔金;彼得·勒法努·卢姆斯代恩 8 2020 显示的类别。 Zbl 1419.18001号 阿伦斯,贝内迪克特;彼得·勒法努·卢姆斯代恩 7 2019 类型理论的同伦理论。 Zbl 1397.18015号 Krzysztof卡普尔金;彼得·勒法努·卢姆斯代恩 12 2018 单价基础中类型理论的分类结构。 Zbl 1496.03053号 阿伦斯,贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基 6 2018 显示的类别。 Zbl 1434.18002号 阿伦斯,贝内迪克特;彼得·勒法努·卢姆斯代恩 三 2017 单价基础中类型理论的分类结构。 Zbl 1528.03100号 阿伦斯,贝内迪克特;彼得·勒法努·卢姆斯代恩;弗拉基米尔·沃沃德斯基 2 2017 同伦类型理论中Blakers-Massey连通性定理的机械化。 兹比尔1395.55011 侯(法沃尼亚),Kuen Bang;埃里克·芬斯特;丹尼尔·李卡塔(Daniel R.Licata)。;彼得·勒法努·卢姆斯代恩 5 2016 局部宇宙模型:依赖型理论被忽视的连贯结构。 Zbl 1354.03101号 彼得·勒法努·卢姆斯代恩;迈克尔·沃伦(Michael A.Warren)。 27 2015 类型理论中的同伦极限。 Zbl 1362.18004号 杰里米·阿维加德;Krzysztof卡普尔金;彼得·勒法努·卢姆斯代恩 14 2015 同调类型理论。数学的单价基础。 兹比尔1298.03002 单价基金项目 199 2013 奎珀量子编程简介。 Zbl 1406.68013号 Green,Alexander S。;彼得·勒法努·卢姆斯代恩;尼尔·J·罗斯。;彼得·塞林格;贝诺缬氨酸 28 2013 论拓扑中的布尔巴基-维特原则。 Zbl 1286.03164号 安德烈·鲍尔;彼得·勒法努·卢姆斯代恩 5 2013 来自内涵类型理论的弱omega范畴。 Zbl 1250.03127号 彼得·勒法努·卢姆斯代恩 14 2010 弱范畴——来自内涵类型理论。 Zbl 1200.03050号 彼得·勒法努·卢姆斯代恩 10 2009 代数集合论中的Lawvere-Tierney滑轮。 Zbl 1183.03068号 南卡罗来纳州阿沃迪。;新泽西州甘比诺。;Lumsdaine,P.L。;沃伦,医学硕士。 2 2009 所有引用出版物 前5名被引用出版物 全部的 前5名175位作者引用 10 阿伦斯,贝内迪克特 8 Krzysztof卡普尔金 8 彼得·勒法努·卢姆斯代恩 6 Michael A.舒尔曼。 5 史蒂夫·阿沃迪 5 乌尔里克·巴赫霍尔茨 5 罗伯特·哈珀 5 安德鲁·皮特斯(Andrew M.Pitts)。 5 埃格伯特·里杰克 5 范德维德,尼尔斯 4 卡洛·安吉利 4 可口、蒂埃里 4 迪亚斯·卡罗,亚历杭德罗 4 尼古拉·甘比诺 4 马尔科·马格西 4 安德斯·莫特伯格 4 北,Paige Randall 4 克里斯蒂安·萨特勒 4 苏米奥·卡罗尔 三 J.Daniel克里斯滕森 三 丹尼尔·李卡塔(Daniel R.Licata)。 三 路易斯·内里奥·斯科科拉 三 溅出物,Bas 三 乔纳森·斯特林 2 Lars Birkedal公司 2 纪尧姆·布鲁内里 2 拉纳德·A·克鲁斯顿。 2 丹·弗鲁明 2 丹尼尔·理查德·格雷森 2 西蒙·亨利 2 安德烈·赫肖维茨 2 侯(法沃尼亚),Kuen Bang 2 西蒙·胡贝尔 2 瓦列里·伊萨耶夫 2 尼古拉·克劳斯 2 安布罗斯·拉丰 2 Moerdijk,比如 2 伊恩·奥尔顿 2 卢卡·保里尼 2 尼玛·拉塞克 2 艾米丽·里尔 2 史蒂文·施费尔 2 格特·斯莫尔卡 2 南卡罗来纳州斯坦坎普。 2 上村,太极 2 贝诺缬氨酸 2 本诺·范登伯格 2 尼科洛Veltri 2 安德烈亚·维佐西 2 弗拉基米尔·阿列克桑德罗维奇(Vladimir Aleksandrovich) 2 雅各布·冯·劳默 2 沃伦、迈克尔·奥尔顿 2 玛格丽塔·佐齐 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 纳撒内尔·利多姆·阿克曼 1 斯科特·亚历山大 1 托尔斯滕·阿滕柯奇 1 Jason M.阿米尼。 1 米歇尔·阿莫雷蒂 1 艾米、马修 1 琳达·安蒂科利 1 迪米特里·阿拉 1 彼得·F·阿恩特。 1 杰里米·阿维加德 1 塞巴斯蒂安·巴丁 1 蒂鲍特·本杰明 1 布鲁诺·本岑 1 马克·贝泽姆 1 Bidlingmaier,Martin E。 1 阿列舍·比兹亚克 1 安德烈亚斯·拉斐尔 1 弗朗索瓦·博博特 1 安东尼·博尔吉 1 西蒙·博利埃 1 丹尼尔·卡兰萨 1 西蒙·卡斯特兰 1 吉安卢卡·卡特琳娜 1 埃文·卡瓦洛 1 托马斯·查普兰(Thomas E.Chapuran)。 1 克利斯朵夫·查尔顿 1 Chernyavskiĭ,A.Yu。 1 皮埃尔·克莱兰堡 1 科科特,J.罗宾B。 1 西里尔·科恩 1 舒适,科尔 1 托马斯·科特雷尔 1 汤姆·J·德容。 1 Ruy JoséGuerra Barretto De Queiroz 1 克里斯蒂安·多兹卡尔 1 S.Charles多雷特 1 Gilles Dowek 1 彼得·戴比杰 1 米尔纳季阿蒙加 1 雅各布·埃梅内格 1 艾米·费尔蒂(Amy P.Felty)。 1 大卫·法拉利 1 弗朗索瓦·菲利昂·古尔多 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 贾尔·塔克斯·弗拉滕 1 傅鹏 …还有75位作者 全部的 前5名35篇连载文章被引用 23 MSCS公司。计算机科学中的数学结构 16 计算机科学中的逻辑方法 9 纯粹与应用代数杂志 5 自动推理杂志 4 纯逻辑与应用逻辑年鉴 4 量子信息处理 三 函数编程杂志 三 高层建筑 2 美国数学学会公报。新系列 2 范畴的理论与应用 1 剑桥哲学学会数学进展杂志 1 数学进展 1 《伦敦数学学会通报》 1 伦敦数学学会杂志。第二系列 1 符号逻辑杂志 1 数学年刊 1 理论计算机科学 1 信息与计算 1 数学论坛 1 计算的形式方面 1 数值算法 1 数学说明 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 应用的分类结构 1 数学逻辑季刊(MLQ) 1 选择Mathematica。新系列 1 符号逻辑公报 1 欧洲数学学会杂志(JEMS) 1 洛巴切夫斯基数学杂志 1 西班牙皇家马特马提卡足球俱乐部(La Gaceta de La Real Sociedad Matemática Española) 1 代数和几何拓扑 1 地中海数学杂志 1 同伦及相关结构杂志 1 数学论坛,西格玛 全部的 前5名在13个字段中引用 84 数学逻辑和基础(03-XX) 66 范畴理论;同调代数(18-XX) 54 代数拓扑(55-XX) 48 计算机科学(68至XX) 19 量子理论(81-XX) 2 信息与通信理论、电路(94-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 代数几何(14-XX) 1 偏微分方程(35-XX) 1 数值分析(65-XX) 1 光学、电磁理论(78-XX) 按年份列出的引文