UNIQUE NORMAL FORMS FOR LAMBDA-CALCULUS WITH SURJECTIVE PAIRING

被引：15
|
作者：
KLOP, JW
DEVRIJER, RC
机构：
[1] FREE UNIV AMSTERDAM,DEPT MATH & COMP SCI,1081 HV AMSTERDAM,NETHERLANDS
[2] UNIV AMSTERDAM,DEPT PHILOSOPHY,1012 CP AMSTERDAM,NETHERLANDS
来源：
INFORMATION AND COMPUTATION | 1989年 / 80卷 / 02期
关键词：
D O I：
10.1016/0890-5401(89)90014-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：97 / 113
页数：17
相关论文
共 50 条
12345