Ichiro Hasuo, Keiko Nakata 0001, Tarmo Uustalu. Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11). NII Shonan Meet. Rep., 2013, 2013. [doi]
@article{HasuoNU13,
title = {Coinduction for Computation Structures and Programming Languages (NII Shonan Meeting 2013-11)},
author = {Ichiro Hasuo and Keiko Nakata 0001 and Tarmo Uustalu},
year = {2013},
url = {http://shonan.nii.ac.jp/shonan/wp-content/uploads/2011/09/No.2013-111.pdf},
researchr = {https://researchr.org/publication/HasuoNU13},
cites = {0},
citedby = {0},
journal = {NII Shonan Meet. Rep.},
volume = {2013},
}