Paige Randall North

According to our database, Paige Randall North authored at least 17 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Functoriality of Enriched Data Types.

Lukas Mulder, Paige Randall North, Maximilien Péroux

CoRR, May, 2025

A Type Theory for Comprehension Categories with Applications to Subtyping.

Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens, Paige Randall North

CoRR, March, 2025

Algebraic Presentations of Type Dependency.

Benedikt Ahrens, Jacopo Emmenegger, Paige Randall North, Egbert Rijke

Log. Methods Comput. Sci., 2025

Insights from Univalent Foundations: A Case Study Using Double Categories.

Nima Rasekh, Niels van der Weide, Benedikt Ahrens, Paige Randall North

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025

2024

Measuring data types.

Lukas Mulder, Paige Randall North, Maximilien Péroux

CoRR, 2024

Formalizing the Algebraic Small Object Argument in UniMath.

Dennis Hilhorst, Paige Randall North

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

Univalent Double Categories.

Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories.

Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North

Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024

2023

Bicategorical type theory: semantics and syntax.

Benedikt Ahrens, Paige Randall North, Niels van der Weide

Math. Struct. Comput. Sci., 2023

Coinductive Control of Inductive Data Types.

Paige Randall North, Maximilien Péroux

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Univalent foundations and the equivalence principle.

Benedikt Ahrens, Paige Randall North

CoRR, 2022

Semantics for two-dimensional type theory.

Benedikt Ahrens, Paige Randall North, Niels van der Weide

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

The Univalence Principle.

Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis

CoRR, 2021

2020

A Higher Structure Identity Principle.

Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Identity types and weak factorization systems in Cauchy complete categories.

Paige Randall North

Math. Struct. Comput. Sci., 2019

Towards a Directed Homotopy Type Theory.

Paige Randall North

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

Type-theoretic weak factorization systems.

Paige Randall North

CoRR, 2019