%0 Journal Article %1 noauthororeditor %A KOZEN, DEXTER %A SILVA, ALEXANDRA %D 2016 %K math %T Practical Coinduction

@article{noauthororeditor, added-at = {2017-06-27T21:40:25.000+0200}, author = {KOZEN, DEXTER and SILVA, ALEXANDRA}, biburl = {https://www.bibsonomy.org/bibtex/26ede76f89996fad36e82c48bcc96fee1/hernan}, description = {msc1500049a - Structural.pdf}, interhash = {c8f7f35403e72d8078eb2ffee834c210}, intrahash = {6ede76f89996fad36e82c48bcc96fee1}, keywords = {math}, timestamp = {2017-06-27T21:40:25.000+0200}, title = {Practical Coinduction}, year = 2016 }