@misc{indiciae8b00b9338e0d, title = {Model Structures on Categories of Models of Type Theories}, author = {Valery Isaev}, year = {2016}, url = {https://arxiv.org/abs/1607.07407}, note = {Source identifier: 1607.07407} }