CATEGORICAL COMBINATORS

被引：14
|
作者：
CURIEN, PL
机构：
[1] CNRS, Paris, Fr, CNRS, Paris, Fr
来源：
INFORMATION AND CONTROL | 1986年 / 69卷 / 1-3期
关键词：
CARTESIAN CLOSED CATEGORIES - CATEGORICAL COMBINATORS - FUNCTIONAL PROGRAMMING LANGUAGES - LAMBDA CALCULUS;
D O I：
10.1016/S0019-9958(86)80047-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
(Edited Abstract)
引用
收藏
页码：188 / 254
页数：67
相关论文
共 50 条
12345