- Steve Awodey and Joseph Hua. Path Types in Algebraic Type Theory
- Tristan Bice. Dependent Types Simplified
- André Hirschowitz, Tom Hirschowitz and Ambroise Lafont. Direct initial-algebra semantics for (multimodal) dependent type theories
- Danel Ahman, Andrej Bauer and Sewon Park. Toward a Setoid Model of Oracle Computations
- El Mehdi Cherradi. Generalized Reedy diagrams in tribes
- Jesse Sigal, Ohad Kammar and Justus Matthiesen. Universally coherent semantics of type theories
- Riccardo Borsetto. A canonical normal form theorem for the type theory of regular categories
- Lide Grotenhuis and Daniël Otten. Unravelling Abstract Cyclic Proofs into Proofs by Induction
- Paul Taylor. Completeness for Display Categories
- Julien Marquet-Wagner and Sophie D’Espalungue. Dimensional Information in a Type Theory with a Definitionally Proof Irrelevant Layer
- Benno van den Berg, Bastiaan Laarakker and Daniël Otten. Constructing (co)inductive types using large sizes
- Péter Korpa, Ambrus Kaposi and Szumi Xie. First order logic as a Second order generalised algebraic theory
- Luna Strah. Topological properties are logical principles in topological models
- Maximilian Petrowitsch. Elementary ∞-toposes from type theory
- Szumi Xie and Viktor Bense. Formalizing type theory through transport hell
- Astra Kolomatskaia and Michael Shulman. Inverse diagram models in CwFs via parametricity
- Jacob Neumann. On Auto-Synthesis
- Evan Cavallo and Christian Sattler. Taming reversals in cubical type theories
- Hugo Herbelin. On the syntax of categorical structures for dependent types
- Niyousha Najmaei, Niels van der Weide, Benedikt Ahrens and Paige Randall North. A Type Theory for Comprehension Categories