Rafaël Bocquet

According to our database, Rafaël Bocquet authored at least 7 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2023

Strict Rezk completions of models of HoTT and homotopy canonicity.

Rafaël Bocquet

CoRR, 2023

Towards coherence theorems for equational extensions of type theories.

Rafaël Bocquet

CoRR, 2023

For the Metatheory of Type Theory, Internal Sconing Is Enough.

Rafaël Bocquet, Ambrus Kaposi, Christian Sattler

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

External univalence for second-order generalized algebraic theories.

Rafaël Bocquet

CoRR, 2022

2021

Induction principles for type theories, internally to presheaf categories.

Rafaël Bocquet, Ambrus Kaposi, Christian Sattler

CoRR, 2021

Strictification of Weakly Stable Type-Theoretic Structures Using Generic Contexts.

Rafaël Bocquet

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

2020

Coherence of strict equalities in dependent type theories.

Rafaël Bocquet

CoRR, 2020