Research group

HoTT and Dependent Types Group

Publications

A Simpler Encoding of Indexed Types

August 2021

Tesla Zhang

ICFP 21 Workshop on Type-Driven Development 2021

Read more

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

Read more

Contextually indexed contextual categories

September 2018

Valery Isaev

Read more

Indexed type theories

June 2018

Valery Isaev

arXiv

Read more

Morita equivalences between algebraic dependent type theories [Preprint]

April 2018

Valery Isaev

arXiv

Read more

On fibrant objects in model categories

2018

Valery Isaev

Theory and Applications of Categories, Vol. 33, No. 3, 2018, pp. 43–66.

Read more

Model structures on categories of models of type theories

September 2017

Valery Isaev

Mathematical Structures in Computer Science

Read more

Model category of marked objects

October 2016

Valery Isaev

arXiv

Read more

Algebraic Presentations of Dependent Type Theories

February 2016

Valery Isaev

arXiv

Read more

Verified operational transformation for trees

2016

Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov

Interactive Theorem Proving (ITP)

Read more