Rafaël Bocquet

Email: bocquet@inf.elte.hu

Papers

  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]