摘要：定义的类型缺乏合并性质的理论。
作者：Martin Hils and Rosario Mennuni
论文ID：2207.09787
分类：Logic
分类简称：math.LO
提交时间：2023-06-02
PDF 下载： 英文版 中文版pdf翻译中