HoTT and Dependent Types Lab

← Revenir au laboratoire

Publications

2021er août
Tesla Zhang

A Simpler Encoding of Indexed Types

Atelier ICFP 21 sur le développement basé sur le type 2021

Janvier 2020
Fedor Part and Iddo Tzameret

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

11e conférence sur les innovations en science informatique innovative (ITCS) 2020

Septembre 2018
Valery Isaev

Contextually indexed contextual categories

arXiv

June 2018
Valery Isaev

Indexed type theories

arXiv

Avril 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, N° 3, 2018, pp. 43–66.

Septembre 2017
Valery Isaev

Model structures on categories of models of type theories

Mathematical Structures in Computer Science

Octobre 2016
Valery Isaev

Model category of marked objects

arXiv

2016 février
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)