Peter L. Lumsdaine, Ph.D.
Affiliations: | 2010 | Carnegie Mellon University, Pittsburgh, PA |
Area:
Mathematics, Computer ScienceGoogle:
"Peter Lumsdaine"Parents
Sign in to add mentor| Steven Awodey | grad student | 2010 | Carnegie Mellon | |
| (Higher categories from type theories.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Lumsdaine PL, Shulman M. (2020) Semantics of higher inductive types Arxiv: Logic. 169: 159-208 |
| Kapulkin K, Lumsdaine PL. (2020) Homotopical inverse diagrams in categories with attributes Journal of Pure and Applied Algebra. 106563 |
| Forssell H, Lumsdaine PL. (2019) Constructive reflectivity principles for regular theories Journal of Symbolic Logic. 84: 1348-1367 |
| Lumsdaine PL, Tabareau N. (2019) Preface: Special Issue on Homotopy Type Theory and Univalent Foundations Journal of Automated Reasoning. 63: 157-158 |
| Kapulkin K, Lumsdaine PL. (2018) The homotopy theory of type theories Advances in Mathematics. 337: 1-38 |
| Lumsdaine PL, Warren MA. (2015) The local universes model: An overlooked coherence construction for dependent type theories Acm Transactions On Computational Logic. 16 |
| Avigad J, Kapulkin K, Lumsdaine PL. (2015) Homotopy limits in type theory Mathematical Structures in Computer Science. 25: 1040-1070 |
| Bauer A, Lumsdaine PL. (2013) On the Bourbaki-Witt principle in toposes Mathematical Proceedings of the Cambridge Philosophical Society. 155: 87-99 |
| Lumsdaine PL. (2010) Weak omega-categories from intensional type theory Logical Methods in Computer Science. 6 |
| Awodey S, Gambino N, Lumsdaine PL, et al. (2009) Lawvere-Tierney sheaves in Algebraic Set Theory Journal of Symbolic Logic. 74: 861-890 |