Rafaël Bocquet, Coherence of definitional equality in type theory, Homotopy Type Theory Electronic Seminar Talks, 23 September 2021 (video, slides)
Rafaël Bocquet, Towards coherence theorems for equational extensions of type theories, Strength of Weak Type Theory, DutchCATS, 12 May 2023. (slides)
Last revised on September 15, 2023 at 23:42:02. See the history of this page for a list of all contributions to it.