共被期刊论文引用了2次
您的检索式：您选中1篇文献正在查看引证文献汇总
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | Fibrations理论在索引归纳数据类型语法构造中的应用显示文摘应用Fibrations理论对索引归纳数据类型的语法构造进行了研究。提出了索引fibration及其真值与内涵函子的定义,构造了索引与代数范畴,利用折叠函数与伴随函子等工具构造了索引范畴中一类相对复杂的索引归纳数据类型,辅以实例进行了简要分析,并通过相关工作的论述指出了Fibrations理论研究方法的优势。 | 苗德成 奚建清 刘新盛 | 2017 | 计算机工程与应用2017，53，4： | 0 |
| 2 | Fibrations理论在索引归纳数据类型不确定语义中的应用显示文摘应用Fibrations理论对索引归纳数据类型的不确定语义计算进行了研究。论证了索引范畴的构造,提出了索引Fibration及其真值函子与内涵函子,建立了索引范畴上自函子的一种保持真值的提升,提出了部分F-代数的定义,并应用折叠函数等工具抽象描述了索引归纳数据类型不确定语义计算,辅以实例进行了简要分析,最后通过相关工作的论述指出了Fibrations理论研究方法的优势。 | 苗德成 奚建清 刘新盛 苏锦钿 | 2017 | 计算机科学2017，44，7： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员