| Towards a directed homotopy type theory PR North Mathematical Foundations of Programming Semantics (MFPS) XXXV, 2019 | 43 | 2019 |
| A higher structure identity principle B Ahrens, PR North, M Shulman, D Tsementzis Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer …, 2020 | 17 | 2020 |
| The univalence principle B Ahrens, PR North, M Shulman, D Tsementzis arXiv preprint arXiv:2102.06275, 2021 | 15 | 2021 |
| Type-theoretic weak factorization systems PR North arXiv preprint arXiv:1906.00259, 2019 | 11 | 2019 |
| Univalent foundations and the equivalence principle B Ahrens, PR North Reflections on the foundations of mathematics: univalent foundations, set …, 2019 | 10 | 2019 |
| Identity types and weak factorization systems in Cauchy complete categories PR North Mathematical Structures in Computer Science 29 (9), 1411-1427, 2019 | 7 | 2019 |
| Semantics for two-dimensional type theory B Ahrens, PR North, N Van Der Weide Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 5 | 2022 |
| Univalent double categories N Van Der Weide, N Rasekh, B Ahrens, PR North Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024 | 4 | 2024 |
| A Hurewicz model structure for directed topology S Krishnan, PR North arXiv preprint arXiv:1911.02204, 2019 | 2 | 2019 |
| Bicategorical type theory: semantics and syntax B Ahrens, PR North, N Van Der Weide Mathematical Structures in Computer Science 33 (10), 868-912, 2023 | 1 | 2023 |
| B-systems and C-systems are equivalent B Ahrens, J Emmenegger, PR North, E Rijke The Journal of Symbolic Logic, 1-9, 2023 | 1 | 2023 |
| Synthetic Tait computability for simplicial type theory J Weinberger, B Ahrens, U Buchholtz, P North 28th International Conference on Types for Proofs and Programs (TYPES 2022), 2022 | 1 | 2022 |
| Univalent foundations and the equivalence principle B Ahrens, PR North arXiv preprint arXiv:2202.01892, 2022 | 1 | 2022 |
| Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability J Weinberger, B Ahrens, U Buchholtz, P North | 1 | 2022 |
| Algebraic presentations of dependent type theories B Ahrens, J Emmenegger, PR North, E Rijke arXiv preprint arXiv:2111.09948, 2021 | 1 | 2021 |
| Insights From Univalent Foundations: A Case Study Using Double Categories N Rasekh, N van der Weide, B Ahrens, PR North arXiv preprint arXiv:2402.05265, 2024 | | 2024 |
| Coinductive control of inductive data types PR North, M Péroux arXiv preprint arXiv:2303.16793, 2023 | | 2023 |
| Semantics for two-dimensional type theory B Benedikt, PR North, NM van der Weide New York: Association for Computing Machinery, 2022 | | 2022 |
| Towards a topological model of homotopy type theory P North Extended Abstracts Fall 2013: Geometrical Analysis; Type Theory, Homotopy …, 2015 | | 2015 |
| A FOUNDATIONAL CATEGORY P NORTH | | 2010 |
