立方型理论的内参数性第条作者：Evan Cavallo
; 罗伯·哈波
0000-0001-8174-7496##空
埃文·卡瓦洛；罗伯·哈波
我们定义了一个结合内容相等的计算类型理论具有内参数的笛卡尔立方型理论的结构基本体。组合理论支持单价及其关系等价物，我们称之为相对论。我们通过以下方式演示了该理论的使用分析高归纳类型之间的多态功能，观察如何三次等式规范了参数类型理论，并检验了立方体理论和参数型理论的异同，它们密切相关。我们还抽象了一个到计算解释并表明这也有一个预剪切模型。
第17卷第4期
发布日期：2021年11月3日
验收日期：2021年5月7日
提交日期：2020年5月25日
关键词：计算机科学-计算机科学中的逻辑，F.3.2，D.3.1
