HoTT and Dependent Types Lab

← Back to laboratory

Publications

August 2021
Tesla Zhang

A Simpler Encoding of Indexed Types

ICFP 21 Workshop on Type-Driven Development 2021

January 2020
Fedor Part and Iddo Tzameret

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

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

September 2018
Valery Isaev

Contextually indexed contextual categories

arXiv

June 2018
Valery Isaev

Indexed type theories

arXiv

April 2018
Valery Isaev

Morita equivalences between algebraic dependent type theories [Preprint]

arXiv

2018
Valery Isaev

On fibrant objects in model categories

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

September 2017
Valery Isaev

Model structures on categories of models of type theories

Mathematical Structures in Computer Science

October 2016
Valery Isaev

Model category of marked objects

arXiv

February 2016
Valery Isaev

Algebraic Presentations of Dependent Type Theories

arXiv

2016
Sergey Sinchuk , Pavel Chuprikov, Konstantin Solomatov

Verified operational transformation for trees

Interactive Theorem Proving (ITP)