摘要：非退化对称双范畴模型下的经典命题逻辑
作者：Yuta Yamamoto
论文ID：2308.01662
分类：Category Theory
分类简称：math.CT
提交时间：2023-08-04
PDF 下载： 英文版 中文版pdf翻译中