HoTT and Dependent Types Lab

← Zurück zum Labor

Publikationen

2021. August
Tesla Zhang

A Simpler Encoding of Indexed Types

ICFP 21 Workshop zur typgesteuerten Entwicklung 2021

Januar 2020
Fedor Part and Iddo Tzameret

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

11. Konferenz über Innovationen in der Theoretischen Informatik (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

Mathematische Strukturen in der Informatik

Oktober 2016
Valery Isaev

Model category of marked objects

arXiv

2016. Februar
Valery Isaev

Algebraic Presentations of Dependent Type Theories

arXiv

2016
Sergey Sinchuk , Pavel Chuprikov, Konstantin Solomatov

Verified operational transformation for trees

Interaktives Theorembeweiser (ITP)