国家自然科学基金(69973030)

作品数：2被引量：1H指数：1
导出分析报告
相关期刊：《Journal of Computer Science & Technology》更多>>
相关主题：SEMANTICSINDUCTIVE-SETCONSTRUCTIONSINITIAL更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Semantics of Constructions (Ⅱ)─ The Initial Algebraic Approach被引量：1
《Journal of Computer Science & Technology》2001年第2期137-145,共9页傅育熙 
the National Natural Science Foundation of China (No.69973030). It is alsosupported by BASICS, Center of Basic Studies in Comp
Inductive types can be formulated by incorporating the idea of initial T-algebra. The interpretation of an inductive type of this kind boils down to finding out the initial T-algebra defined by the inductive type. In ...
关键词：type theory inductive type w-set T-algebra 
Semantics of Constructions (I)──The Traditional Approach
《Journal of Computer Science & Technology》2001年第1期13-24,共12页傅育熙 
This work is funded by the National Natural Science Foundation of China (No.69973030). It is alsosupported by BASICS, Center o
It is well known that impredicative type systems do not have set theoretical semantics. This paper takes a look at semantics of inductive types in impredicative type systems. A generalized inductive type is interprete...
关键词：type theory inductive type ω-set 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部