research
∙
04/29/2020
Models of Homotopy Type Theory with an Interval Type
In this short note, we construct a class of models of an extension of ho...
share
research
∙
06/21/2018
Indexed type theories
In this paper, we define indexed type theories which are related to inde...
research
∙
04/13/2018
