| Publication | Date of Publication | Type |
|---|
Insights From Univalent Foundations: A Case Study Using Double Categories
(available as arXiv preprint) | N/A | Paper |
| Functoriality of enriched data types | 2026-08-11 | Paper |
| Insights from univalent foundations: a case study using double categories | 2026-06-09 | Paper |
| Formalizing the algebraic small object argument in UniMath | 2026-02-10 | Paper |
Algebraic presentations of type dependency
Logical Methods in Computer Science | 2025-03-06 | Paper |
B-systems and C-systems are equivalent
The Journal of Symbolic Logic | 2025-02-03 | Paper |
The univalence principle
Memoirs of the American Mathematical Society | 2025-01-28 | Paper |
Categorical Diffusion of Weighted Lattices
(available as arXiv preprint) | 2025-01-01 | Paper |
From Semantics to Syntax: A Type Theory for Comprehension Categories
(available as arXiv preprint) | 2025-01-01 | Paper |
Functoriality of Enriched Data Types
(available as arXiv preprint) | 2025-01-01 | Paper |
| 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
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
Measuring data types
(available as arXiv preprint) | 2024-01-01 | Paper |
Comparing semantic frameworks for dependently-sorted algebraic theories
(available as arXiv preprint) | 2024-01-01 | Paper |
| Univalent Double Categories | 2023-10-13 | Paper |
Univalent Foundations and the Equivalence Principle
Synthese Library | 2023-09-20 | Paper |
| Coinductive control of inductive data types | 2023-03-29 | Paper |
Univalent Double Categories
(available as arXiv preprint) | 2023-01-01 | Paper |
Towards a directed homotopy type theory
(available as arXiv preprint) | 2022-04-29 | Paper |
| Algebraic Presentations of Dependent Type Theories | 2021-11-18 | Paper |
A Hurewicz model structure for directed topology
(available as arXiv preprint) | 2021-06-21 | Paper |
| A Hurewicz model structure for directed topology | 2021-06-21 | Paper |
| The Univalence Principle | 2021-02-11 | Paper |
A higher structure identity principle
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
Identity types and weak factorization systems in Cauchy complete categories
Mathematical Structures in Computer Science | 2020-05-04 | Paper |
| Type-theoretic weak factorization systems | 2019-06-01 | Paper |
Type-theoretic weak factorization systems
(available as arXiv preprint) | 2019-01-01 | Paper |
Towards a directed homotopy type theory
(available as arXiv preprint) | 2018-07-27 | Paper |
