Light linear logic

被引：162
作者：
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
相关论文
共 11 条
[1]  
[Anonymous], MATH USSR IZVESTIJA
[2]  
ASPERITA A, 1997, SPECIAL LIGHT LINEAR
[3]  
GIRARD JV, 1996, LOGIC ALGEBRA
[4]   BOUNDED LINEAR LOGIC - A MODULAR APPROACH TO POLYNOMIAL-TIME COMPUTABILITY [J].
GIRARD, JY ;
SCEDROV, A ;
SCOTT, PJ .
THEORETICAL COMPUTER SCIENCE, 1992, 97 (01) :1-66
[5]   LINEAR LOGIC [J].
GIRARD, JY .
THEORETICAL COMPUTER SCIENCE, 1987, 50 (01) :1-102
[6]  
Hillebrand G. G., 1993, Proceedings of Eighth Annual IEEE Symposium on Logic in Computer Science (Cat. No.93CH3328-2), P332, DOI 10.1109/LICS.1993.287575
[7]  
KANOVICH M, 1997, UNPUB ELEMENTARY LIN
[8]  
KANOVICH M, 1997, ELECT NOTES COMPUTER
[9]  
LAFONT Y, 1995, ADV LINEAR LOGIC
[10]   A FOUNDATIONAL DELINEATION OF POLY-TIME [J].
LEIVANT, D .
INFORMATION AND COMPUTATION, 1994, 110 (02) :391-420
12