摘要：线性逻辑和逻辑学调查的第一部分：线性逻辑的介绍、可判定性及模型
作者：Pierre-Louis Curien (PPS)
论文ID：cs/0501035
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-06-17
PDF 下载： 英文版 中文版pdf翻译中