Paige Randall North

Identifiers

• name variant Paige Randall North 0.60 · backfill

Papers (4)

1. Comparing semantic frameworks for dependently-sorted algebraic theories math.CT · 2024 · author #3
2. Type-theoretic weak factorization systems math.CT · 2019 · author #1
3. Identity types and weak factorization systems in Cauchy complete categories math.CT · 2019 · author #1
4. Towards a directed homotopy type theory cs.LO · 2018 · author #1

Mentions

• 2412.19946 #3 · arxiv_oai · confidence 0.70 Paige Randall North

Frequent Coauthors

• Benedikt Ahrens 1 shared papers
• Peter LeFanu Lumsdaine 1 shared papers