摘要：MALL (乘法-加法线性逻辑)和LL (经典线性逻辑)： 强代数化的研究。
作者：Paolo Aglian`o
论文ID：2305.12408
分类：Logic
分类简称：math.LO
提交时间：2023-06-06
PDF 下载： 英文版 中文版pdf翻译中