Paige Randall North

Available identifiers

zbMath Open north.paige-randallMaRDI QIDQ2133174

List of research outcomes

Publication	Date of Publication	Type
Semantics for two-dimensional type theory	2024-12-06	Paper
Coinductive control of inductive data types	2024-11-26	Paper
Bicategorical type theory: semantics and syntax	2024-03-05	Paper
Univalent Double Categories	2023-10-13	Paper
Univalent Foundations and the Equivalence Principle	2023-09-20	Paper
Coinductive control of inductive data types	2023-03-29	Paper
Towards a directed homotopy type theory	2022-04-29	Paper
Algebraic Presentations of Dependent Type Theories	2021-11-18	Paper
A Hurewicz model structure for directed topology	2021-06-21	Paper
The Univalence Principle	2021-02-11	Paper
A higher structure identity principle	2021-01-21	Paper
Identity types and weak factorization systems in Cauchy complete categories	2020-05-04	Paper
Type-theoretic weak factorization systems	2019-06-01	Paper
Towards a directed homotopy type theory	2018-07-27	Paper
Insights From Univalent Foundations: A Case Study Using Double Categories	N/A	Paper

Research outcomes over time

This page was built for person: Paige Randall North