Rafaël Bocquet

Email: rafael.bocquet@inria.fr

Since January 2026, I am a postdoc in the Galinette research team at Laboratoire des Sciences du Numérique de Nantes (LS2N). Previously I was a PhD student under the supervision of Ambrus Kaposi.

Publications, preprints and notes

  1. Coherence of strict equalities in dependent type theories [pdf] [arXiv] [Agda]
  2. Relative induction principles for type theories [pdf] [arXiv]
    • With Ambrus Kaposi and Christian Sattler.
  3. Strictification of weakly stable type-theoretic structures using generic contexts [pdf] [arXiv] [Dagstuhl]
    • Published in the post-proceedings of TYPES 2021.
  4. External univalence for second-order generalized algebraic theories [pdf] [arXiv]
  5. For the Metatheory of Type Theory, Internal Sconing Is Enough [pdf] [arXiv] [Dagstuhl]
    • With Ambrus Kaposi and Christian Sattler.
    • Published in FSCD 2023.
  6. Towards Coherence Theorems for Equational Extensions of Type Theories [pdf] [arXiv]
  7. Strict Rezk completions of models of HoTT and homotopy canonicity [pdf] [arXiv] [Agda]

PhD Thesis

Relative induction principles for second-order generalized algebraic theories [pdf]