Paige Randall North

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

Collaborative distances:

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

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

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