| Publication | Date of Publication | Type |
|---|
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
| 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
| 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 |
