程序语言中基于Fibrations理论的索引共归纳数据类型

程序语言中基于Fibrations理论的索引共归纳数据类型

苗德成，奚建清，戴经国

Indexed Co-inductive Data Type Based on Fibrations Theory in Programming

MIAO Decheng, XI Jianqing, DAI Jingguo

计算机科学与探索 . 2016, (10): 1482 -1492 . DOI: 10.3778/j.issn.1673-9418.1508047