HoTT and Dependent Types Lab

← ラボに戻る

出版物

年8月2021日
Tesla Zhang

A Simpler Encoding of Indexed Types

2021 年型駆動開発に関するワークショップ、ICFP 21

2020 年 1 月
Fedor Part and Iddo Tzameret

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

第 11 回 2020 年理論コンピュータ科学におけるイノベーションカンファレンス (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

カテゴリの理論および応用、第 33 巻、番号 3、2018 年、ページ 44 ～ 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)