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

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

Публикации

A Simpler Encoding of Indexed Types

Август 2021

Tesla Zhang

ICFP 21 Workshop on Type-Driven Development 2021

Подробнее

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

Январь 2020

Fedor Part and Iddo Tzameret

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

Подробнее

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

Подробнее

Verified operational transformation for trees

2016

Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov

Interactive Theorem Proving (ITP)

Подробнее