WHAT IS A MODEL OF THE LAMBDA-CALCULUS

被引：78

作者：

MEYER, AR

机构：

来源：

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

关键词：

D O I：

10.1016/S0019-9958(82)80087-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：87 / 122

页数：36

共 37 条

[1]

ACZEL P, 1981, J SYMBOLIC LOGIC

[2]

Aczel P., 1980, STUDIES LOGIC FDN MA, P31

[3]

Barendregt H., 1980, HB CURRY ESSAYS COMB, P287

[4]

BARENDREGT H, 1980, HB CURRY ESSAYS COMB, P303

[5]

BARENDREGT H, 1981, STUDIES LOGIC, V103

[6]

Barendregt Henk P., 1977, HDB MATH LOGIC, V90, P1091

[7]

BERRY G, 1980, INRIA RAPPORTS RECHE, V46

[8] A set of postulates for the foundation of logic (second paper) [J].

Church, A .

[9] A set of postulates for the foundation of logic. [J].

Church, A .

[10]

COOPERSTOCK D, 1981, 15181 U TOR DEP COMP