论文标题
具有间隔类型的同型类型理论的模型
Models of Homotopy Type Theory with an Interval Type
论文作者
论文摘要
在简短的说明中，我们构建了同型类型理论扩展的一类模型，我们称其为间隔类型的同型类型理论。
In this short note, we construct a class of models of an extension of homotopy type theory, which we call homotopy type theory with an interval type.
