带区间类型的同伦类型理论的模型
计算机科学中的逻辑
2020-07-15 v2
摘要
在这篇短文中，我们构造了一类同伦类型理论扩展的模型，我们称之为带区间类型的同伦类型理论。
引用
@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}
}
备注
7 pages