Peter LeFanu Lumsdaine
Stockholms universitet
H-index: 16
Europe-Sweden
Top articles of Peter LeFanu Lumsdaine
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Special issue on homotopy type theory 2019 vol. 2 | Mathematical Structures in Computer Science | Dan Licata Peter LeFanu Lumsdaine | 2023/9 |
Special issue on homotopy type theory 2019 | Mathematical Structures in Computer Science | Dan Licata Peter LeFanu Lumsdaine | 2021/11 |
The simplicial model of Univalent Foundations (after Voevodsky): To the memory of Vladimir Voevodsky. | Journal of the European Mathematical Society | Chris Kapulkin Peter LeFanu Lumsdaine | 2021 |
Homotopical inverse diagrams in categories with attributes | Journal of Pure and Applied Algebra | Krzysztof Kapulkin Peter LeFanu Lumsdaine | 2021/4/1 |
a review of The simplicial model of univalent foundations (after Voevodsky) by Kapulkin, Krzysztof; Lumsdaine, Peter Lefanu | 西村泰一, ニシムラヒロカズ | 2021 | |
A general definition of dependent type theories | arXiv preprint arXiv:2009.05539 | Andrej Bauer Philipp G Haselwarter Peter LeFanu Lumsdaine | 2020/9/11 |
Semantics of higher inductive types | Mathematical Proceedings of the Cambridge Philosophical Society | Peter LeFanu Lumsdaine Michael Shulman | 2020/7 |
The law of excluded middle in the simplicial model of type theory | Theory and Applications of Categories | Chris Kapulkin Peter LeFanu Lumsdaine | 2020 |
Initiality for martin-löf type theory | Talk at the Homotopy Type Theory Electronic Seminar Talks (HOTTEST) | Guillaume Brunerie PL Lumsdaine | 2020 |