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

Rafaël Bocquet
Published in: TYPES (2021)