@phdthesis{WinterhalterFormalMetaType,
    title    = {Formalisation and meta-theory of type theory},
    school   = {Université de Nantes},
    author   = {Winterhalter, Théo},
    year     = {2020},
}