Paige Randall North
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2020–2025
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CSL | Insights from Univalent Foundations: A Case Study Using Double Categories. | Nima Rasekh, Niels van der Weide, Benedikt Ahrens, Paige Randall North |
| 2024 | APLAS | Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories. | Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North |
| 2024 | CPP | Univalent Double Categories. | Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North |
| 2024 | ITP | Formalizing the Algebraic Small Object Argument in UniMath. | Dennis Hilhorst, Paige Randall North |
| 2023 | CALCO | Coinductive Control of Inductive Data Types. | Paige Randall North, Maximilien Proux |
| 2022 | LICS | Semantics for two-dimensional type theory. | Benedikt Ahrens, Paige Randall North, Niels van der Weide |
| 2020 | LICS | A Higher Structure Identity Principle. | Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis |