# Speaker
Rafaël Bocquet

# Title
Strict Rezk completions of models of type theory