Fibrations理论在索引归纳数据类型语法构造中的应用 |
| |
作者单位: | ;1.韶关学院信息科学与工程学院;2.华南理工大学软件学院;3.解放军防空兵学院弹炮一体系 |
| |
摘 要: | 应用Fibrations理论对索引归纳数据类型的语法构造进行了研究。提出了索引fibration及其真值与内涵函子的定义,构造了索引与代数范畴,利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型,辅以实例进行了简要分析,并通过相关工作的论述指出了Fibrations理论研究方法的优势。
|
关 键 词: | 语法构造 索引归纳数据类型 Fibrations理论 范畴 提升 |
Syntax construction of indexed inductive data types based on Fibrations theory |
| |
Abstract: | |
| |
Keywords: | |
|
|