区间类型可以指:
•
区间 (立方类型论), 立方类型论中用于定义相等类型的基础. 在双层类型论意义上是一个 “外类型”, 没有标准的消去规则.
区间 (同伦类型论), 一种高阶归纳类型, 在双层类型论意义上不是 “外类型”, 有标准的消去规则.
术语翻译
区间类型 • 英文 interval type