-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=索引归纳数据类型 "
共 条 记 录，以下是1-2

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
Fibrations理论在索引归纳数据类型语法构造中的应用
《计算机工程与应用》2017年第4期70-74,134,共6页苗德成 奚建清 刘新盛 
广东省自然科学基金(No.S2013010015944);广东省高等学校优秀青年教师培养计划项目(No.YQ2014155);广东省战略性新兴产业核心技术攻关项目(No.2012A010701011);广东省科技计划项目(No.2014B010112007)
应用Fibrations理论对索引归纳数据类型的语法构造进行了研究。提出了索引fibration及其真值与内涵函子的定义,构造了索引与代数范畴,利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型,辅以实例进行了简要...
关键词：语法构造 索引归纳数据类型 Fibrations理论 范畴 提升 
Fibrations理论在索引归纳数据类型不确定语义中的应用
《计算机科学》2017年第7期137-140,共4页苗德成 奚建清 刘新盛 苏锦钿 
广东省自然科学基金项目(S2013010015944);广东省高等学校优秀青年教师培养计划项目(YQ2014155);广东省战略性新兴产业核心技术攻关项目(2012A010701011);广东省科技计划项目(2014B010112007)资助
应用Fibrations理论对索引归纳数据类型的不确定语义计算进行了研究。论证了索引范畴的构造,提出了索引Fibration及其真值函子与内涵函子,建立了索引范畴上自函子的一种保持真值的提升,提出了部分F-代数的定义,并应用折叠函数等工具抽...
关键词：语义计算 不确定 索引归纳数据类型 Fibrations理论 提升 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部