共 21 条
[21]
Wadsworth C. P, 1971, THESIS OXFORD U
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
关键词：
D O I：
10.1016/0890-5401(87)90001-0
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
21
引用
收藏
页码：191 / 231
页数：41
相关论文