Type-theoretic weak factorization systems. - Paige Randall North (CoRR, 2019)

Towards a Directed Homotopy Type Theory. - Paige Randall North (MFPS, 2019)

Identity types and weak factorization systems in Cauchy complete categories. - Paige Randall North (Math. Struct. Comput. Sci., 2019)

A Higher Structure Identity Principle. - Benedikt Ahrens; Paige Randall North; Michael Shulman; Dimitris Tsementzis (LICS, 2020)

The Univalence Principle. - Benedikt Ahrens; Paige Randall North; Michael Shulman; Dimitris Tsementzis (CoRR, 2021)

Semantics for two-dimensional type theory. - Benedikt Ahrens; Paige Randall North; Niels van der Weide (LICS, 2022)

Univalent foundations and the equivalence principle. - Benedikt Ahrens; Paige Randall North (CoRR, 2022)

Coinductive Control of Inductive Data Types. - Paige Randall North; Maximilien Péroux (CALCO, 2023)

Bicategorical type theory: semantics and syntax. - Benedikt Ahrens; Paige Randall North; Niels van der Weide (Math. Struct. Comput. Sci., 2023)

Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories. - Benedikt Ahrens; Peter LeFanu Lumsdaine; Paige Randall North (APLAS, 2024)

Univalent Double Categories. - Niels van der Weide; Nima Rasekh; Benedikt Ahrens; Paige Randall North (CPP, 2024)

Formalizing the Algebraic Small Object Argument in UniMath. - Dennis Hilhorst; Paige Randall North (ITP, 2024)

Measuring data types. - Lukas Mulder; Paige Randall North; Maximilien Péroux (CoRR, 2024)

Insights from Univalent Foundations: A Case Study Using Double Categories. - Nima Rasekh; Niels van der Weide; Benedikt Ahrens; Paige Randall North (CSL, 2025)

Algebraic Presentations of Type Dependency. - Benedikt Ahrens; Jacopo Emmenegger; Paige Randall North; Egbert Rijke (Log. Methods Comput. Sci., 2025)

A Type Theory for Comprehension Categories with Applications to Subtyping. - Niyousha Najmaei; Niels van der Weide; Benedikt Ahrens; Paige Randall North (CoRR, 2025)

Functoriality of Enriched Data Types. - Lukas Mulder; Paige Randall North; Maximilien Péroux (CoRR, 2025)