Algebraic Presentations of Dependent Type Theories. - Valery Isaev (CoRR, 2016)

Morita equivalences between algebraic dependent type theories. - Valery Isaev (CoRR, 2018)

Model structures on categories of models of type theories. - Valery Isaev (Math. Struct. Comput. Sci., 2018)

Models of Homotopy Type Theory with an Interval Type. - Valery Isaev (CoRR, 2020)

Indexed type theories. - Valery Isaev (Math. Struct. Comput. Sci., 2021)

(Co)condition hits the Path. - Tesla Zhang; Valery Isaev (CoRR, 2024)