| Towards a directed homotopy type theory PR North Mathematical Foundations of Programming Semantics (MFPS) XXXV, 2019 | 49 | 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 | 41* | 2020 |
| Univalent foundations and the equivalence principle B Ahrens, PR North Reflections on the foundations of mathematics: univalent foundations, set …, 2019 | 23 | 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 | 16* | 2023 |
| Type-theoretic weak factorization systems PR North arXiv preprint arXiv:1906.00259, 2019 | 13 | 2019 |
| Identity types and weak factorization systems in Cauchy complete categories PR North Mathematical Structures in Computer Science 29 (9), 1411-1427, 2019 | 8 | 2019 |
| B-systems and C-systems are equivalent B Ahrens, J Emmenegger, PR North, E Rijke The Journal of Symbolic Logic 89 (4), 1513-1521, 2024 | 7* | 2024 |
| 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 |
| Comparing semantic frameworks for dependently-sorted algebraic theories B Ahrens, PLF Lumsdaine, PR North Asian Symposium on Programming Languages and Systems, 3-22, 2024 | 2 | 2024 |
| A Hurewicz model structure for directed topology S Krishnan, PR North arXiv preprint arXiv:1911.02204, 2019 | 2 | 2019 |
| Categorical Diffusion of Weighted Lattices R Ghrist, M Lopez, PR North, H Riess arXiv preprint arXiv:2501.03890, 2025 | 1 | 2025 |
| A directed type theory for 1-categories F Chu, É Mangel, PR North 30th International Conference on Types for Proofs and Programs TYPES 2024 …, 2024 | 1 | 2024 |
| Measuring data types L Mulder, PR North, M Péroux arXiv preprint arXiv:2405.14678, 2024 | 1 | 2024 |
| 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 | 1 | 2024 |
| 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 |
| Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability J Weinberger, B Ahrens, U Buchholtz, P North | 1 | 2022 |
| Algebraic Presentations of Type Dependency B Ahrens, J Emmenegger, PR North, E Rijke Logical Methods in Computer Science 21, 2025 | | 2025 |
| Insights from Univalent Foundations N Rasekh, N van der Weide, B Ahrens, PR North | | 2025 |
| The Univalence Maxim and Univalent Double Categories N Rasekh, N van der Weide, B Ahrens, PR North 30th International Conference on Types for Proofs and Programs TYPES 2024 …, 2024 | | 2024 |
| Formalizing the Algebraic Small Object Argument in UniMath D Hilhorst, PR North 15th International Conference on Interactive Theorem Proving (ITP 2024), 20 …, 2024 | | 2024 |
