LINEAR LOGIC

被引：2037

作者：

GIRARD, JY

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(87)90045-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：1 / 102

页数：102

相关论文

共 6 条

[1]

Girard J.-Y., 1972, THESIS U PARIS 7

[2] THE SYSTEM-F OF VARIABLE TYPES, 15 YEARS LATER [J].

GIRARD, JY .

[3]

GIRARD JY, 1976, DISS MATH, V136

[4]

GIRARD JY, IN PRESS ANN PURE AP

[5]

Kreisel G., 1974, DISS MATH, V118

[6]

[No title captured]