A UNIFYING THEORY OF DEPENDENT TYPES - THE SCHEMATIC APPROACH

被引：0
|
作者：
LUO, ZH
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1992年 / 620卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：293 / 304
页数：12
相关论文
共 50 条
12345