Research group
HoTT and Dependent Types Group
Publications
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)