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

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


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

Биография

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

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

Публикации

Contextually indexed contextual categories

September 2018

Valery Isaev

Подробнее

Indexed type theories

June 2018

Valery Isaev

arXiv

Подробнее

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

Подробнее

Model category of marked objects

October 2016

Valery Isaev

arXiv

Подробнее

Algebraic Presentations of Dependent Type Theories

February 2016

Valery Isaev

arXiv

Подробнее