MODELS OF THE LAMBDA CALCULUS

被引：27

作者：

KOYMANS, CPJ

机构：

来源：

INFORMATION AND CONTROL | 1982年 / 52卷 / 03期

关键词：

D O I：

10.1016/S0019-9958(82)90796-3

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：306 / 332

页数：27

共 16 条

[1]

BARENDREGT H, 1980, HB CURRY ESSAYS COMB, P303

[2]

BARENDREGT H, 1981, STUDIES LOGIC, V103

[3]

BARENDREGT HP, 1977, STUDIES LOGIC, V90, P1092

[4]

BARENDREGT HP, UNPUB J SYMBOLIC LOG

[5]

BERRY G, 1981, SOME SYNTACTIC CATEG

[6]

COOPERSTOCK D, 1981, 15181 U TOR DEP COMP

[7] LAMBDA-CALCULUS MODELS AND EXTENSIONALITY [J].

HINDLEY, R ;

LONGO, G .

ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (04) :289-310

[8]

KOYMANS K, 1979, THESIS U UTRECHT UTR

[9]

MEYER AR, 1980, MITLCSTM171 LAB COMP

[10]

MEYER AR, 1981, MITLCSTM201 LAB COMP