HoTT and Dependent Types Lab

← 返回到实验室

出版物

年 8 月 2021 日
Tesla Zhang

A Simpler Encoding of Indexed Types

ICFP 21 2021年关于类型驱动开发的研讨会

2020 年 1 月
Fedor Part and Iddo Tzameret

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

2020 年第 11 届理论计算机科学创新会议（ITCS）

2018 年 9 月
Valery Isaev

Contextually indexed contextual categories

arXiv

June 2018
Valery Isaev

Indexed type theories

arXiv

2018 年 4 月
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.

2017 年 9 月
Valery Isaev

Model structures on categories of models of type theories

计算机科学中的数学结构

2016 年 10 月
Valery Isaev

Model category of marked objects

arXiv

2 月 2016 日
Valery Isaev

Algebraic Presentations of Dependent Type Theories

arXiv

2016 年
Sergey Sinchuk , Pavel Chuprikov, Konstantin Solomatov

Verified operational transformation for trees

交互式定理证明（ITP）