Paige Randall North

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Insights from univalent foundations: a case study using double categories	2026-06-09	Paper
Formalizing the algebraic small object argument in UniMath	2026-02-10	Paper
Algebraic presentations of type dependency Logical Methods in Computer Science	2025-03-06	Paper
B-systems and C-systems are equivalent The Journal of Symbolic Logic	2025-02-03	Paper
The univalence principle Memoirs of the American Mathematical Society	2025-01-28	Paper
Semantics for two-dimensional type theory	2024-12-06	Paper
Coinductive control of inductive data types	2024-11-26	Paper
Bicategorical type theory: semantics and syntax Mathematical Structures in Computer Science	2024-03-05	Paper
Univalent Double Categories	2023-10-13	Paper
Univalent Foundations and the Equivalence Principle Synthese Library	2023-09-20	Paper
Coinductive control of inductive data types	2023-03-29	Paper
Towards a directed homotopy type theory (available as arXiv preprint)	2022-04-29	Paper
Algebraic Presentations of Dependent Type Theories	2021-11-18	Paper
A Hurewicz model structure for directed topology	2021-06-21	Paper
A Hurewicz model structure for directed topology (available as arXiv preprint)	2021-06-21	Paper
The Univalence Principle	2021-02-11	Paper
A higher structure identity principle Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Identity types and weak factorization systems in Cauchy complete categories Mathematical Structures in Computer Science	2020-05-04	Paper
Type-theoretic weak factorization systems	2019-06-01	Paper
Towards a directed homotopy type theory (available as arXiv preprint)	2018-07-27	Paper
Insights From Univalent Foundations: A Case Study Using Double Categories (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: Paige Randall North