Decheng Miao, Jianqing Xi. Indexed Coinduction in a Fibrational Setting. In Ting Hu, Feng Wang, Hongwei Li, Qian Wang, editors, Algorithms and Architectures for Parallel Processing - ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings. Volume 11338 of Lecture Notes in Computer Science, pages 10-16, Springer, 2018. [doi]
@inproceedings{MiaoX18-0,
title = {Indexed Coinduction in a Fibrational Setting},
author = {Decheng Miao and Jianqing Xi},
year = {2018},
doi = {10.1007/978-3-030-05234-8_2},
url = {https://doi.org/10.1007/978-3-030-05234-8_2},
researchr = {https://researchr.org/publication/MiaoX18-0},
cites = {0},
citedby = {0},
pages = {10-16},
booktitle = {Algorithms and Architectures for Parallel Processing - ICA3PP 2018 International Workshops, Guangzhou, China, November 15-17, 2018, Proceedings},
editor = {Ting Hu and Feng Wang and Hongwei Li and Qian Wang},
volume = {11338},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-05234-8},
}