@PhDThesis{Sai15,
    Author       = "Saillard, R.",
    Year         = "2015",
    Title        = "{Typechecking in the lambda-Pi-Calculus Modulo : Theory and Practice}",
    School       = "Ecole Nationale Supérieure des Mines de Paris",
    Address      = "Paris, France",
    Comment      = ""
}