THE SYSTEM-F OF VARIABLE TYPES, 15 YEARS LATER

被引：164

作者：

GIRARD, JY

机构：

来源：

关键词：

D O I：

10.1016/0304-3975(86)90044-7

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：159 / 192

页数：34

相关论文

共 10 条

[1]

Berry Gerard, 1979, THESIS U PARIS 7

[2]

COQUAND T, 1985, UNPUB P ASL C ORSAY

[3]

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

[4]

Girard J.Y., 1973, LECT NOTES MATH, V337, P232

[5]

GIRARD JY, UNPUB ANN PURE APPL

[6]

REYNOLDS JC, 1984, LECT NOTES COMPUT SC, V173, P145

[7]

TROELSTRA AS, 1973, LECT NOTES MATH, V337, P171

[8]

WINSKEL G, 1981, THESIS EDINBURGH

[9]

[No title captured]

[10]

[No title captured]