DELAYING UNIFICATION ALGORITHMS FOR LAMBDA-CALCULI

被引：0
|
作者：
STAPLES, J
机构：
[1] Univ of Queensland, St Lucia,, Queensland, Aust, Univ of Queensland, St Lucia, Queensland, Aust
来源：
THEORETICAL COMPUTER SCIENCE | 1988年 / 56卷 / 03期
关键词：
D O I：
10.1016/0304-3975(88)90135-1
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
5
引用
收藏
页码：277 / 288
页数：12
相关论文
共 50 条
12345