关于Cube类型系统中Eta长标准形式的定义

摘要：为每个类型在立方体的类型系统中，存在着一个最小的传递关系<，该关系应用于良好类型化的正常术语，使得如果t是u的一个严格子项，则t

作者：Gilles Dowek, G''erard Huet, Benjamin Werner (LIX)

论文ID：2307.00854

分类：Logic in Computer Science

分类简称：cs.LO

提交时间：2023-07-04

PDF 下载： 英文版 中文版pdf翻译中