摘要：弱fpc生成器的结构研究初步：一些保守类别的鉴别、存在约束及假设，以及关于(fpc) 生成器的单子群的定义和观察。
作者：Andrew Polonsky
论文ID：1810.02239
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22
PDF 下载： 英文版 中文版pdf翻译中