×

彼得·勒法努·卢姆斯代恩

作者ID: 卢姆斯丹·彼得·勒法努最近由“Lumsdaine,Peter LeFanu”撰写的zbMATH文章
发布日期: 彼得·勒法努·卢姆斯代恩;彼得·勒法努·卢姆斯代恩;彼得·勒法努·朗斯丹;彼得·勒法努·卢姆斯代恩;彼得·卢姆斯代恩;Lumsdaine,P.L。
主页: http://peterlefanulumsdaine.com/
外部链接: MGP公司·ORCID公司·谷歌学者·数学溢出·数据库许可证
全部的 前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 诺姆·齐尔伯格

按年份列出的出版物

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名

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位作者

按年份列出的引文