尼古拉·克劳斯：依赖型理论的内部∞分类模型：走向2LTT吃HoTT。(2021) conf/lics/Kraus公司21 10.1109/LICS52264.2021.9470667 依赖型理论的内部∞分类模型：走向2LTT吃HoTT。 1 尼古拉·克劳斯 1 1-14 许可证 许可证 2021 2021 dblp记录“conf/lics/Kraus21”的RDF数据的来源信息 2022-01-03T22:15:35+0100