A 2ND-ORDER PATTERN-MATCHING ALGORITHM FOR THE CUBE OF TYPED LAMBDA-CALCULI

被引：0
|
作者：
DOWEK, G
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 520卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In [16] [17] Huet gives an algorithm for second-order pattern matching in the simply typed lambda-calculus. We generalize this algorithm to the calculi of Barendregt's cube [1]. The same result is presented in a longer paper where proofs are given [8].
引用
收藏
页码：151 / 160
页数：10
相关论文
共 50 条
12345