共 50 条
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
关键词:
D O I:
10.1016/S0304-3975(01)00134-7
中图分类号:
TP301 [理论、方法];
学科分类号:
081202 ;
摘要:
引用
收藏
页码:333 / 333
页数:1
相关论文