Towards a directed homotopy type theory PR North Mathematical Foundations of Programming Semantics (MFPS) XXXV, 2019 | 48 | 2019 |
The univalence principle B Ahrens, PR North, M Shulman, D Tsementzis arXiv preprint arXiv:2102.06275, 2021 | 17 | 2021 |
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 | 16 | 2020 |
Univalent foundations and the equivalence principle B Ahrens, PR North Reflections on the foundations of mathematics: univalent foundations, set …, 2019 | 13 | 2019 |
Type-theoretic weak factorization systems PR North arXiv preprint arXiv:1906.00259, 2019 | 11 | 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 |
Bicategorical type theory: semantics and syntax B Ahrens, PR North, N Van Der Weide Mathematical Structures in Computer Science 33 (10), 868-912, 2023 | 5 | 2023 |
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 |
The Univalence Principle, 2021 B Ahrens, PR North, M Shulman, D Tsementzis arXiv preprint arXiv:2102.06275, 0 | 5 | |
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 |
B-systems and C-systems are equivalent B Ahrens, J Emmenegger, PR North, E Rijke The Journal of Symbolic Logic, 1-9, 2023 | 3 | 2023 |
Coinductive control of inductive data types PR North, M Péroux arXiv preprint arXiv:2303.16793, 2023 | 3 | 2023 |
A Hurewicz model structure for directed topology S Krishnan, PR North arXiv preprint arXiv:1911.02204, 2019 | 2 | 2019 |
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 |
A directed type theory for 1-categories F Chu, É Mangel, PR North 30th International Conference on Types for Proofs and Programs TYPES 2024 …, 2024 | | 2024 |
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 |
Measuring data types L Mulder, PR North, M Péroux arXiv preprint arXiv:2405.14678, 2024 | | 2024 |