计算机科学与探索2016，Vol.10Issue(10)：1482-1492,11.DOI:10.3778/j.issn.1673-9418.1508047
程序语言中基于Fibrations理论的索引共归纳数据类型
Indexed Co-inductive Data Type Based on Fibrations Theory in Programming
摘要
关键词
语义行为/共归纳规则/基变换/提升/共递归Key words
semantic behavior/co-induction rule/change of base/lifting/co-recursion分类
信息技术与安全科学引用本文复制引用
苗德成,奚建清,戴经国..程序语言中基于Fibrations理论的索引共归纳数据类型[J].计算机科学与探索,2016,10(10):1482-1492,11.基金项目
The National Natural Science Foundation of China under Grant No.61103038(国家自然科学基金) （国家自然科学基金）
the Natural Science Foundation of Guangdong Province under Grant No.S2013010015944(广东省自然科学基金) （广东省自然科学基金）
the High School Outstanding Young Teacher Training Plan Foundation of Guangdong Province under Grant No.YQ2014155(广东省高等学校优秀青年教师培养计划). （广东省高等学校优秀青年教师培养计划）
