Models of Homotopy Type Theory with an Interval Type
Logic in Computer Science
2020-07-15 v2
Abstract
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.
Cite
@article{arxiv.2004.14195,
title = {Models of Homotopy Type Theory with an Interval Type},
author = {Valery Isaev},
journal= {arXiv preprint arXiv:2004.14195},
year = {2020}
}
Comments
7 pages