Paige Randall North

From MaRDI portal
Revision as of 23:26, 24 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2133174

Available identifiers

zbMath Open north.paige-randallMaRDI QIDQ2133174

List of research outcomes





PublicationDate of PublicationType
Semantics for two-dimensional type theory2024-12-06Paper
Coinductive control of inductive data types2024-11-26Paper
Bicategorical type theory: semantics and syntax2024-03-05Paper
Univalent Double Categories2023-10-13Paper
Univalent Foundations and the Equivalence Principle2023-09-20Paper
Coinductive control of inductive data types2023-03-29Paper
Towards a directed homotopy type theory2022-04-29Paper
Algebraic Presentations of Dependent Type Theories2021-11-18Paper
A Hurewicz Model Structure for Directed Topology2021-06-21Paper
The Univalence Principle2021-02-11Paper
A Higher Structure Identity Principle2021-01-21Paper
Identity types and weak factorization systems in Cauchy complete categories2020-05-04Paper
Type-theoretic weak factorization systems2019-06-01Paper
Towards a directed homotopy type theory2018-07-27Paper
Insights From Univalent Foundations: A Case Study Using Double CategoriesN/APaper

Research outcomes over time

This page was built for person: Paige Randall North

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2133174&oldid=6607354"
Powered by MediaWiki