Paige Randall North

26 papers A* 2B 7Journal 17
YearRankTypeTitle / Venue / Authors
2026 J jnl
Directed type theory, with a twist.
CoRR
Fernando Rafael Chu Rivera, Paige Randall North
2026 J jnl
From Semantics to Syntax: A Type Theory for Comprehension Categories.
Proc. ACM Program. Lang.
Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens, Paige Randall North
2025 J jnl
A Type Theory for Comprehension Categories with Applications to Subtyping.
CoRR
Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens, Paige Randall North
2025 J jnl
Algebraic Presentations of Type Dependency.
Log. Methods Comput. Sci.
Benedikt Ahrens, Jacopo Emmenegger, Paige Randall North, Egbert Rijke
2025 B conf
Functoriality of Enriched Data Types.
MFPS
Lukas Mulder, Paige Randall North, Maximilien Péroux
2025 B conf
Insights from Univalent Foundations: A Case Study Using Double Categories.
CSL
Nima Rasekh, Niels van der Weide, Benedikt Ahrens, Paige Randall North
2024 B conf
Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories.
APLAS
Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North
2024 J jnl
Comparing semantic frameworks for dependently-sorted algebraic theories.
CoRR
Benedikt Ahrens, Peter LeFanu Lumsdaine, Paige Randall North
2024 B conf
Formalizing the Algebraic Small Object Argument in UniMath.
ITP
Dennis Hilhorst, Paige Randall North
2024 J jnl
Measuring data types.
CoRR
Lukas Mulder, Paige Randall North, Maximilien Péroux
2024 B conf
Univalent Double Categories.
CPP
Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North
2023 J jnl
Bicategorical type theory: semantics and syntax.
Math. Struct. Comput. Sci.
Benedikt Ahrens, Paige Randall North, Niels van der Weide
2023 B conf
Coinductive Control of Inductive Data Types.
CALCO
Paige Randall North, Maximilien Péroux
2023 J jnl
Coinductive control of inductive data types.
CoRR
Paige Randall North, Maximilien Péroux
2023 J jnl
Univalent Double Categories.
CoRR
Niels van der Weide, Nima Rasekh, Benedikt Ahrens, Paige Randall North
2022 A* conf
Semantics for two-dimensional type theory.
LICS
Benedikt Ahrens, Paige Randall North, Niels van der Weide
2022 J jnl
Semantics for two-dimensional type theory.
CoRR
Benedikt Ahrens, Paige Randall North, Niels van der Weide
2022 J jnl
Univalent foundations and the equivalence principle.
CoRR
Benedikt Ahrens, Paige Randall North
2021 J jnl
The Univalence Principle.
CoRR
Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis
2020 A* conf
A Higher Structure Identity Principle.
LICS
Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis
2020 J jnl
A Higher Structure Identity Principle.
CoRR
Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis
2019 J jnl
Identity types and weak factorization systems in Cauchy complete categories.
CoRR
Paige Randall North
2019 J jnl
Identity types and weak factorization systems in Cauchy complete categories.
Math. Struct. Comput. Sci.
Paige Randall North
2019 B conf
Towards a Directed Homotopy Type Theory.
MFPS
Paige Randall North
2019 J jnl
Type-theoretic weak factorization systems.
CoRR
Paige Randall North
2018 J jnl
Towards a directed homotopy type theory.
CoRR
Paige Randall North