@article{Newstead2018, author = "Clive Newstead", title = "{Algebraic Models of Dependent Type Theory}", year = "2018", month = "10", url = "https://kilthub.cmu.edu/articles/thesis/Algebraic_Models_of_Dependent_Type_Theory/7195124", doi = "10.1184/R1/7195124.v1" }