Rafaël Bocquet

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

Collaborative distances:

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

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

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