Rafaël Bocquet
Email: bocquet@inf.elte.hu
Papers
- Coherence of strict equalities in dependent type theories [pdf] [arXiv] [Agda]
- Relative induction principles for type theories [pdf] [arXiv]
- With Ambrus Kaposi and Christian Sattler.
- Strictification of weakly stable type-theoretic structures using
generic contexts [pdf]
[arXiv] [Dagstuhl]
- External univalence for second-order generalized algebraic theories
[pdf] [arXiv]
- For the Metatheory of Type Theory, Internal Sconing Is Enough [pdf] [arXiv] [Dagstuhl]
- With Ambrus Kaposi and Christian Sattler.
- Published in FSCD
2023.
- Towards Coherence Theorems for Equational Extensions of Type
Theories [pdf] [arXiv]
- Strict Rezk completions of models of HoTT and homotopy canonicity
[pdf]
[arXiv] [Agda]