| Publication | Date of Publication | Type |
|---|
The equivariant model structure on cartesian cubical sets
Advances in Mathematics | 2026-05-08 | Paper |
| Natural numbers from integers | 2025-06-18 | Paper |
| For the metatheory of type theory, internal sconing is enough | 2024-10-21 | Paper |
Cubical models of \((\infty, 1)\)-categories
Memoirs of the American Mathematical Society | 2024-09-13 | Paper |
Two-level type theory and applications
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
Two-level type theory and applications - ERRATUM
Mathematical Structures in Computer Science | 2024-03-05 | Paper |
| For the Metatheory of Type Theory, Internal Sconing Is Enough | 2023-02-10 | Paper |
The Constructive Kan–Quillen Model Structure: Two New Proofs
The Quarterly Journal of Mathematics | 2023-01-19 | Paper |
| Relative elegance and cartesian cubes with one connection | 2022-11-27 | Paper |
| scientific article; zbMATH DE number 7559277 (Why is no real title available?) | 2022-07-18 | Paper |
| Pointers in Recursion: Exploring the Tropics | 2022-07-18 | Paper |
Constructive sheaf models of type theory
Mathematical Structures in Computer Science | 2022-06-24 | Paper |
The effective model structure and \(\infty\)-groupoid objects
Forum of Mathematics, Sigma | 2022-06-13 | Paper |
Canonicity and homotopy canonicity for cubical type theory
(available as arXiv preprint) | 2022-02-09 | Paper |
| Canonicity and homotopy canonicity for cubical type theory | 2022-02-09 | Paper |
| Constructing a universe for the setoid model | 2021-10-18 | Paper |
Partial univalence in \(n\)-truncated type theory
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science | 2021-01-21 | Paper |
| Turing-completeness of polymorphic stream equation systems | 2020-05-27 | Paper |
| Cubical models of $(\infty, 1)$-categories | 2020-05-10 | Paper |
The constructive Kan-Quillen model structure: two new proofs
(available as arXiv preprint) | 2019-07-11 | Paper |
| Normalization by Evaluation for Call-by-Push-Value and Polarized Lambda-Calculus | 2019-02-16 | Paper |
| Constructive homotopy theory of marked semisimplicial sets | 2018-09-28 | Paper |
| Idempotent completion of cubes in posets | 2018-05-10 | Paper |
The Frobenius condition, right properness, and uniform fibrations
Journal of Pure and Applied Algebra | 2017-08-08 | Paper |
| The Equivalence Extension Property and Model Structures | 2017-04-23 | Paper |
| Space-Valued Diagrams, Type-Theoretically (Extended Abstract) | 2017-04-14 | Paper |
Higher homotopies in a hierarchy of univalent universes
ACM Transactions on Computational Logic | 2017-01-27 | Paper |
Spatial and spatio-temporal reaction-diffusion patterns in heterogeneous media
Journal of Non-Equilibrium Thermodynamics | 1993-11-08 | Paper |
