SEMANTICS FOR CLASSICAL AUTOMATH AND RELATED SYSTEMS

被引：4

作者：

BARENDREGT, H ^{[1
]}

REZUS, A ^{[1
]}

机构：

[1] EINDHOVEN UNIV TECHNOL,DEPT MATH & COMP SCI,5600 MB EINDHOVEN,NETHERLANDS

来源：

INFORMATION AND CONTROL | 1983年 / 59卷 / 1-3期

关键词：

D O I：

10.1016/S0019-9958(83)80033-3

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：127 / 147

页数：21

共 29 条

[1]

ACZEL P, 1977, 1974 P S MATH LOG OU, P1

[2]

Barendregt H. P., 1981, LAMBDA CALCULUS ITS

[3]

BARENDREGT HP, LOGIC C 82

[4] RECURSIVE MODELS FOR CONSTRUCTIVE SET THEORIES [J].

BEESON, M .

ANNALS OF MATHEMATICAL LOGIC, 1982, 23 (2-3) :127-178

[5]

BEESON M, F CONSTRUCTIVE MATH

[6]

DEBRUIJN NG, 1980, ESSAYS COMBINATORY L, P579

[7]

Gierz G., 1980, COMPENDIUM CONTINUOU

[8]

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

[9]

HINDLEY R, 1972, INTRO COMBINATORY LO

[10]

Howard W.A., 1980, HB CURRY ESSAYS COMB, P479