NEEDED REDUCTION AND SPINE STRATEGIES FOR THE LAMBDA-CALCULUS

被引：25
作者：
BARENDREGT, HP
KENNAWAY, JR
KLOP, JW
SLEEP, MR
机构：
[1] UNIV E ANGLIA,NORWICH NR4 7TJ,NORFOLK,ENGLAND
[2] CTR MATH & COMP SCI,AMSTERDAM,NETHERLANDS
来源：
INFORMATION AND COMPUTATION | 1987年 / 75卷 / 03期
关键词：
D O I：
10.1016/0890-5401(87)90001-0
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
21
引用
收藏
页码：191 / 231
页数：41
相关论文
共 21 条
[1]  
AUGUSTSSON L, 1984, P 1984 ACM S LISP FU, P218
[2]  
Barendregt Hendrik Pieter, 1977, C INT LOGIQUE CLERMO, P209
[3]  
BARENDREGT HP, 1984, LAMBDA CALCULUS
[4]   MINIMAL AND OPTIMAL COMPUTATIONS OF RECURSIVE PROGRAMS [J].
BERRY, G ;
LEVY, JJ .
JOURNAL OF THE ACM, 1979, 26 (01) :148-175
[5]  
BERRY G, 1978, 3E P C INT PROGR DUN
[6]   STRICTNESS ANALYSIS FOR HIGHER-ORDER FUNCTIONS [J].
BURN, GL ;
HANKIN, C ;
ABRAMSKY, S .
SCIENCE OF COMPUTER PROGRAMMING, 1986, 7 (03) :249-278
[7]  
BURSTALL RM, 1981, 1ST P LSP C STANF, P136
[8]  
GORDON M, 1979, LECTURE NOTES COMPUT, V78
[9]  
HUET G, 1979, INRIA359 PREPR
[10]  
KENNAWAY JR, 1987, SYSC8705 U E ANGL SC
123