P. North

Most-cited papers

Towards a directed homotopy type theory
P. North
2018Mathematical Foundations of Programming Semantics44 citations Open access
Semantic Scholar
Bicategorical type theory: semantics and syntax
B. Ahrens, P. North, Niels van der Weide
2022Mathematical Structures in Computer Science22 citations Open access
Semantic Scholar
The Univalence Principle
B. Ahrens, P. North, Michael Shulman, Dimitris Tsementzis
2021Memoirs of the American Mathematical Society18 citations Open access
Semantic Scholar
Univalent foundations and the equivalence principle
B. Ahrens, P. North
2019Synthese Library16 citations Open access
Semantic Scholar
A Higher Structure Identity Principle
B. Ahrens, P. North, Michael Shulman, Dimitris Tsementzis
2020Logic in Computer Science15 citations Open access
Semantic Scholar
Type-theoretic weak factorization systems
P. North
2017arXiv.org12 citations
Semantic Scholar
Comparing Semantic Frameworks for Dependently-Sorted Algebraic Theories
Benedikt Ahrens, P. Lumsdaine, P. North
2024Asian Symposium on Programming Languages and Systems11 citations Open access
Semantic Scholar
Identity types and weak factorization systems in Cauchy complete categories
P. North
2019Mathematical Structures in Computer Science6 citations Open access
Semantic Scholar
From Semantics to Syntax: A Type Theory for Comprehension Categories
Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens, P. North
2025Proc. ACM Program. Lang.5 citations Open access
Semantic Scholar
Univalent Double Categories
Niels van der Weide, Nima Rasekh, Benedikt Ahrens, P. North
2023Certified Programs and Proofs5 citations Open access
Semantic Scholar
Categorical Diffusion of Weighted Lattices
R. Ghrist, Miguel López, P. North, Hans Riess
20253 citations
Semantic Scholar
Insights from Univalent Foundations: A Case Study Using Double Categories
Nima Rasekh, Niels van der Weide, Benedikt Ahrens, P. North
2024Annual Conference for Computer Science Logic3 citations
Semantic Scholar
B-SYSTEMS AND C-SYSTEMS ARE EQUIVALENT
B. Ahrens, Jacopo Emmenegger, P. North, Egbert Rijke
2023Journal of Symbolic Logic (JSL)3 citations Open access
Semantic Scholar
Coinductive control of inductive data types
P. North, Maximilien P'eroux
2023Conference on Algebra and Coalgebra in Computer Science2 citations Open access
Semantic Scholar
A Hurewicz model structure for directed topology
Sanjeevi Krishnan, P. North
2019Theory and Applications of Categories2 citations
Semantic Scholar
Directed type theory, with a twist
F. Rivera, P. North
2026arXiv.org1 citations
Semantic Scholar
Measuring data types
Lukas Mulder, P. North, Maximilien P'eroux
2024arXiv.org1 citations
Semantic Scholar
Formalizing the Algebraic Small Object Argument in UniMath
D. Hilhorst, P. North
2024International Conference on Interactive Theorem Proving1 citations
Semantic Scholar
Towards Normalization of Simplicial Type Theory via Synthetic Tait Computability
J. Weinberger, B. Ahrens, U. Buchholtz, P. North
20221 citations
Semantic Scholar
Synthetic Tait Computability for Simplicial Type Theory
J. Weinberger, B. Ahrens, U. Buchholtz, P. North
20221 citations
Semantic Scholar
A FOUNDATIONAL CATEGORY
P. North
20101 citations
Semantic Scholar
A directed homotopy type theory for 1-categories
Éléonore Mangel, P. North
1 citations
Semantic Scholar
Functoriality of Enriched Data Types
Lukas Mulder, P. North, Maximilien P'eroux
2025Mathematical Foundations of Programming Semantics0 citations Open access
Semantic Scholar
Algebraic Presentations of Type Dependency
B. Ahrens, Jacopo Emmenegger, P. North, Egbert Rijke
2021Log. Methods Comput. Sci.0 citations Open access
Semantic Scholar
C T ] 1 8 N ov 2 02 1 B-systems and C-systems are equivalent
B. Ahrens, Jacopo Emmenegger, P. North, Egbert Rijke
20210 citations
Semantic Scholar
Network Sheaves Valued in Categories of Adjunctions and their Laplacians
Hans Riess, P. North, R. Ghrist
20210 citations
Semantic Scholar
Towards a topological model of homotopy type theory
P. North
20150 citations
Semantic Scholar
University of Birmingham B-systems and C-systems are equivalent
Benedikt Ahrens, P. North, Randall, Egbert Rijke +2 more
0 citations
Semantic Scholar
University of Birmingham Bicategorical type theory
Benedikt Ahrens, P. North, Niels van der Weide
0 citations
Semantic Scholar