Linear logic - Preface

被引：0
|
作者：
Girard, JY
Okada, M
Scedrov, A
机构：
[1] Keio Univ, Dept Philosophy, Minato Ku, Tokyo 1088345, Japan
[2] Univ Penn, Philadelphia, PA 19104 USA
来源：
THEORETICAL COMPUTER SCIENCE | 2003年 / 294卷 / 03期
关键词：
D O I：
10.1016/S0304-3975(01)00134-7
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：333 / 333
页数：1
相关论文
共 50 条
12345