A NEW FORMULA FOR THE EXECUTION OF CATEGORICAL COMBINATORS

被引：0
作者：
LINS, RD [1 ]
机构：
[1] COMP HIDRO ELETRICA SAO FRANCISCO,SAO FRANCISCO,BRAZIL
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1986年 / 230卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：89 / 98
页数：10
相关论文
共 9 条
  • [1] CURIEN PL, 1985, UNPUB CATEGORICAL CO
  • [2] De Bruijn N. G., 1972, INDAG MATH, V34, P381, DOI DOI 10.1016/1385-7258(72)90034-0
  • [3] Lambek Joachim, 1980, HB CURRY ESSAYS COMB
  • [4] LINS RD, UNPUB CONSTANTS HIGH
  • [5] LINS RD, 1985, 27 U KENT CANT COMP
  • [6] LINS RD, 1985, 34 U KENT CANT COMP
  • [7] LINS RD, 1985, NEW WAY INTRO CONSTA
  • [8] Scott D., 1980, HB CURRY ESSAYS COMB
  • [9] NEW IMPLEMENTATION TECHNIQUE FOR APPLICATIVE LANGUAGES
    TURNER, DA
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1979, 9 (01) : 31 - 49
1