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

Группа HOTT и зависимых типов

Публикации

Resolution with Counting: Dag-Like Lower Bounds and Different Moduli

January 2020

Fedor Part and Iddo Tzameret

11th Innovations in Theoretical Computer Science Conference (ITCS) 2020

Подробнее

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

Подробнее

Verified operational transformation for trees

2016

Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov

Interactive Theorem Proving (ITP)

Подробнее