摘要：教程：实现德摩根立方体类型论的一种方法
作者：Tesla Zhang
论文ID：2210.08232
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-06-07
PDF 下载： 英文版 中文版pdf翻译中