Fibrations理论在索引归纳数据类型语法构造中的应用

• 作者: 刘新盛 奚建清 苗德成
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 语法构造 索引归纳数据类型 Fibrations理论 范畴 提升
• 年，卷（期）: 2017,（4）
• 所属期刊栏目: 理论与研发
• 页码范围: 70-74,134
• 页数: 6页
• 分类号: TP301.2
• 字数: 6448字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1605-0259

摘要

应用Fibrations理论对索引归纳数据类型的语法构造进行了研究.提出了索引fibration及其真值与内涵函子的定义,构造了索引与代数范畴,利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型,辅以实例进行了简要分析,并通过相关工作的论述指出了Fibrations理论研究方法的优势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	奚建清	华南理工大学软件学院	96	872	13.0	25.0
2	苗德成	韶关学院信息科学与工程学院	19	35	3.0	5.0
3	刘新盛	解放军防空兵学院弹炮一体系	2	0	0.0	0.0