Rafaël Bocquet

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 9

Top Topics

Theoretical Basis

Defeasible Logic

Top Venues

Publications

Rafaël Bocquet
Strict Rezk completions of models of HoTT and homotopy canonicity. CoRR (2023)
Rafaël Bocquet, Ambrus Kaposi, Christian Sattler
For the Metatheory of Type Theory, Internal Sconing Is Enough. FSCD (2023)
Rafaël Bocquet
Towards coherence theorems for equational extensions of type theories. CoRR (2023)
Rafaël Bocquet, Ambrus Kaposi, Christian Sattler
For the Metatheory of Type Theory, Internal Sconing Is Enough. CoRR (2023)
Rafaël Bocquet
External univalence for second-order generalized algebraic theories. CoRR (2022)
Rafaël Bocquet, Ambrus Kaposi, Christian Sattler
Induction principles for type theories, internally to presheaf categories. CoRR (2021)
Rafaël Bocquet
Strictification of weakly stable type-theoretic structures using generic contexts. CoRR (2021)
Rafaël Bocquet
Strictification of Weakly Stable Type-Theoretic Structures Using Generic Contexts. TYPES (2021)
Rafaël Bocquet
Coherence of strict equalities in dependent type theories. CoRR (2020)