Валерий Исаев
Исследовательские группы
Биография
В 2012 году окончил магистратуру Санкт-Петербургского академического университета. Помимо работы в JetBrains, преподает в родном университете.
Научные интересы: языки с зависимыми типами, (гомотопическая) теория типов и их категориальные модели.
Публикации
Morita equivalences between algebraic dependent type theories [Preprint]
Апрель 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
Сентябрь 2017
Valery Isaev
Mathematical Structures in Computer Science