Coherence of strict equalities in dependent type theories. - Rafaël Bocquet (CoRR, 2020)

Strictification of Weakly Stable Type-Theoretic Structures Using Generic Contexts. - Rafaël Bocquet (TYPES, 2021)

Induction principles for type theories, internally to presheaf categories. - Rafaël Bocquet; Ambrus Kaposi; Christian Sattler (CoRR, 2021)

External univalence for second-order generalized algebraic theories. - Rafaël Bocquet (CoRR, 2022)

For the Metatheory of Type Theory, Internal Sconing Is Enough. - Rafaël Bocquet; Ambrus Kaposi; Christian Sattler (FSCD, 2023)

Towards coherence theorems for equational extensions of type theories. - Rafaël Bocquet (CoRR, 2023)

Strict Rezk completions of models of HoTT and homotopy canonicity. - Rafaël Bocquet (CoRR, 2023)