Валерий Исаев

Валерий Исаев


Исследовательские группы

Биография

В 2012 году окончил магистратуру Санкт-Петербургского академического университета. Помимо работы в JetBrains, преподает в родном университете.

Научные интересы: языки с зависимыми типами, (гомотопическая) теория типов и их категориальные модели.

Публикации

Contextually indexed contextual categories

Сентябрь 2018

Valery Isaev

Подробнее

Indexed type theories

Июнь 2018

Valery Isaev

arXiv

Подробнее

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

Подробнее

Model category of marked objects

Октябрь 2016

Valery Isaev

arXiv

Подробнее

Algebraic Presentations of Dependent Type Theories

Февраль 2016

Valery Isaev

arXiv

Подробнее