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

이론 컴퓨터 과학 컨퍼런스(ITCS) 2020의 11번째 혁신

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)