Valery Isaev
Research Groups
Biography
Graduated from the Saint Petersburg Academic University in 2012. Apart from JetBrains, also works at the SPbAU.
Valery's research interests include dependently typed languages, (homotopy) type theory and their categorical models.
Publications
Morita equivalences between algebraic dependent type theories [Preprint]
April 2018
Valery Isaev
arXiv
On fibrant objects in model categories
2018
Valery Isaev
Theory and Applications of Categories, Vol. 33, No. 3, 2018, pp. 43–66.
Model structures on categories of models of type theories
September 2017
Valery Isaev
Mathematical Structures in Computer Science