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
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
Morita equivalences between algebraic dependent type theories [Preprint]
April 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
September 2017
Valery Isaev
Mathematical Structures in Computer Science
Verified operational transformation for trees
2016
Sergey Sinchuk , Pavel Chuprikov and Konstantin Solomatov
Interactive Theorem Proving (ITP)