摘要：马丁·洛夫的依赖类型理论综述：全面规范和可计算语义呈现的可能性问题
作者：Dmitry Filippov
论文ID：2308.09621
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-21
PDF 下载： 英文版 中文版pdf翻译中