安德烈亚·阿斯佩蒂;卢卡·罗维斯 直觉轻仿射逻辑。 (英语) Zbl 1365.03040号 ACM事务处理。计算。日志。 3,第1期,137-175(2002). 引用于24文件 MSC公司: 03楼52 线性逻辑和其他子结构逻辑的理论证明 03B70号 计算机科学中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}和\textit{L.Roversi},ACM Trans。计算。日志。3,第1号,137--175(2002;Zbl 1365.03040) 全文: 内政部