%0 Journal Article %1 journals/jsjkx/MiaoXDS18 %A Miao, Decheng %A Xi, Jianqing %A Dai, Jingguo %A Su, Jindian %D 2016 %J 计算机科学 %K dblp %N 3 %P 188-192 %T 程序语言中共归纳数据类型的一种fibrations方法 (Fibrations Method of Co-inductive Data Types in Programming). %U http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx43.html#MiaoXDS18 %V 43

@article{journals/jsjkx/MiaoXDS18, added-at = {2020-03-20T00:00:00.000+0100}, author = {Miao, Decheng and Xi, Jianqing and Dai, Jingguo and Su, Jindian}, biburl = {https://www.bibsonomy.org/bibtex/282570b5fcfc6882f3b98c33fb3cf899d/dblp}, ee = {http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2016.03.035}, interhash = {d5ab828680e7f8c5462f07eb1eca2717}, intrahash = {82570b5fcfc6882f3b98c33fb3cf899d}, journal = {计算机科学}, keywords = {dblp}, number = 3, pages = {188-192}, timestamp = {2020-03-21T11:56:07.000+0100}, title = {程序语言中共归纳数据类型的一种fibrations方法 (Fibrations Method of Co-inductive Data Types in Programming).}, url = {http://dblp.uni-trier.de/db/journals/jsjkx/jsjkx43.html#MiaoXDS18}, volume = 43, year = 2016 }