Light linear logic

被引：158
|
作者：
Girard, JY [1 ]
机构：
[1] CNRS, UPR 9016, Inst Math Luminy, F-13288 Marseille 09, France
来源：
INFORMATION AND COMPUTATION | 1998年 / 143卷 / 02期
关键词：
D O I：
10.1006/inco.1998.2700
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The abuse of structural rules may have damaging complexity effects. (C) 1998 Academic Press.
引用
收藏
页码：175 / 204
页数：30
相关论文
共 50 条
12345