Intersection type assignment systems with higher-order algebraic rewriting

被引：0

作者：

Barbanera, Franco ^{[1
]}

Fernandez, Maribel ^{[1
]}

机构：

[1] Dipartimento di Informatica, Torino, Italy

来源：

| 1996年 / Elsevier Science B.V., Amsterdam, Netherlands卷 / 170期

关键词：

D O I：

10.1016/S0304-3975(96)00263-0

中图分类号：

学科分类号：

摘要：

40

引用

收藏

页码：1 / 2

相关论文

empty

未找到相关数据