Folgen
Paige Randall North
Paige Randall North
Bestätigte E-Mail-Adresse bei upenn.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Towards a directed homotopy type theory
PR North
Mathematical Foundations of Programming Semantics (MFPS) XXXV, 2019
462019
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
172020
The univalence principle
B Ahrens, PR North, M Shulman, D Tsementzis
arXiv preprint arXiv:2102.06275, 2021
152021
Type-theoretic weak factorization systems
PR North
arXiv preprint arXiv:1906.00259, 2019
112019
Univalent foundations and the equivalence principle
B Ahrens, PR North
Reflections on the foundations of mathematics: univalent foundations, set …, 2019
112019
Identity types and weak factorization systems in Cauchy complete categories
PR North
Mathematical Structures in Computer Science 29 (9), 1411-1427, 2019
72019
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
52022
Univalent double categories
N Van Der Weide, N Rasekh, B Ahrens, PR North
Proceedings of the 13th ACM SIGPLAN International Conference on Certified …, 2024
42024
Bicategorical type theory: semantics and syntax
B Ahrens, PR North, N Van Der Weide
Mathematical Structures in Computer Science 33 (10), 868-912, 2023
22023
B-systems and C-systems are equivalent
B Ahrens, J Emmenegger, PR North, E Rijke
The Journal of Symbolic Logic, 1-9, 2023
22023
Coinductive control of inductive data types
PR North, M Péroux
arXiv preprint arXiv:2303.16793, 2023
22023
A Hurewicz model structure for directed topology
S Krishnan, PR North
arXiv preprint arXiv:1911.02204, 2019
22019
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
12022
Univalent foundations and the equivalence principle
B Ahrens, PR North
arXiv preprint arXiv:2202.01892, 2022
12022
Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability
J Weinberger, B Ahrens, U Buchholtz, P North
12022
Algebraic presentations of dependent type theories
B Ahrens, J Emmenegger, PR North, E Rijke
arXiv preprint arXiv:2111.09948, 2021
12021
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20