| Publication | Date of Publication | Type |
|---|
| Strange new universes: Proof assistants and synthetic foundations | 2024-04-03 | Paper |
| LNL polycategories and doctrines of linear logic | 2023-08-26 | Paper |
| The derivator of setoids | 2023-01-23 | Paper |
| AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS | 2022-10-25 | Paper |
| Homotopy Type Theory: A synthetic approach to higher equalities | 2022-10-11 | Paper |
| Strict universes for Grothendieck topoi | 2022-02-24 | Paper |
| The directed plump ordering | 2022-02-15 | Paper |
| Magnitude homology of enriched categories and metric spaces | 2021-11-24 | Paper |
| Homotopy Type Theory: The Logic of Space | 2021-11-12 | Paper |
| Semantics of higher inductive types | 2021-09-14 | Paper |
| A practical type theory for symmetric monoidal categories | 2021-08-16 | Paper |
| Generalized stability for abstract homotopy theories | 2021-08-13 | Paper |
| Quantum Gauge Field Theory in Cohesive Homotopy Type Theory | 2021-06-23 | Paper |
| Construction of the circle in \textit{UniMath} | 2021-06-09 | Paper |
| The Univalence Principle | 2021-02-11 | Paper |
| A Higher Structure Identity Principle | 2021-01-21 | Paper |
| Categories of Nets | 2021-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111322 | 2020-05-26 | Paper |
| *-Autonomous Envelopes and Conservativity | 2020-04-17 | Paper |
| The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions | 2020-02-06 | Paper |
| Modalities in homotopy type theory | 2020-01-22 | Paper |
| Constructing symmetric monoidal bicategories functorially | 2019-10-21 | Paper |
| Construction of the Circle in UniMath | 2019-10-04 | Paper |
| All $(\infty,1)$-toposes have strict univalent universes | 2019-04-15 | Paper |
| A type theory for synthetic $\infty$-categories | 2019-03-19 | Paper |
| Comparing material and structural set theories | 2019-02-04 | Paper |
| The linearity of fixed point invariants | 2018-10-09 | Paper |
| Contravariance through enrichment | 2018-06-07 | Paper |
| Affine logic for constructive mathematics | 2018-05-19 | Paper |
| Brouwer's fixed-point theorem in real-cohesive homotopy type theory | 2018-05-17 | Paper |
| Univalence for inverse EI diagrams | 2018-01-17 | Paper |
| Adjoint Logic with a 2-Category of Modes | 2017-07-21 | Paper |
| The Seifert-van Kampen Theorem in Homotopy Type Theory | 2017-07-19 | Paper |
| Calculating the Fundamental Group of the Circle in Homotopy Type Theory | 2017-07-03 | Paper |
| Idempotents in intensional type theory | 2017-04-11 | Paper |
| Parametricity, automorphisms of the universe, and excluded middle | 2017-01-19 | Paper |
| Univalent categories and the Rezk completion | 2016-07-27 | Paper |
| Univalence for inverse diagrams and homotopy canonicity | 2016-07-27 | Paper |
| The linearity of traces in monoidal categories and bicategories | 2016-07-07 | Paper |
| The univalence axiom for elegant Reedy presheaves | 2016-02-25 | Paper |
| Enriched categories as a free cocompletion | 2016-01-15 | Paper |
| The additivity of traces in monoidal derivators | 2015-08-10 | Paper |
| Reedy categories and their generalizations | 2015-07-04 | Paper |
| Traces in symmetric monoidal categories | 2014-09-04 | Paper |
| Mayer-Vietoris sequences in stable derivators | 2014-09-02 | Paper |
| The multiplicativity of fixed point invariants | 2014-04-09 | Paper |
| Shadows and traces in bicategories | 2013-11-18 | Paper |
| Duality and traces for indexed monoidal categories | 2013-09-04 | Paper |
| Enriched indexed categories | 2013-09-04 | Paper |
| Exact completions and small sheaves | 2012-10-22 | Paper |
| The Shape of Infinity | 2012-09-12 | Paper |
| Not every pseudoalgebra is equivalent to a strict one | 2012-03-02 | Paper |
| Enhanced 2-categories and limits for lax morphisms | 2012-01-04 | Paper |
| Comparing composites of left and right derived functors | 2011-08-02 | Paper |
| A unified framework for generalized multicategories | 2011-08-01 | Paper |
| Stack semantics and the comparison of material and structural set theories | 2010-04-21 | Paper |
| Constructing symmetric monoidal bicategories | 2010-04-06 | Paper |
| Lectures on N-Categories and Cohomology | 2010-01-18 | Paper |
| Framed bicategories and monoidal fibrations | 2009-11-21 | Paper |
| Set theory for category theory | 2008-10-07 | Paper |
| Parametrized spaces model locally constant homotopy sheaves | 2008-02-14 | Paper |
| Homotopy limits and colimits and enriched homotopy theory | 2006-10-05 | Paper |
| Semantics of multimodal adjoint type theory | 0001-01-03 | Paper |
| Displayed Type Theory and Semi-Simplicial Types | 0001-01-03 | Paper |
