%0 Conference Paper %1 conf/csl/BonchiPPR14 %A Bonchi, Filippo %A Petrisan, Daniela %A Pous, Damien %A Rot, Jurriaan %B CSL-LICS %D 2014 %E Henzinger, Thomas A. %E Miller, Dale %I ACM %K %P 20:1-20:9 %T Coinduction up-to in a fibrational setting. %U http://dblp.uni-trier.de/db/conf/csl/csl2014.html#BonchiPPR14 %@ 978-1-4503-2886-9

@inproceedings{conf/csl/BonchiPPR14, added-at = {2023-12-12T21:17:54.000+0100}, author = {Bonchi, Filippo and Petrisan, Daniela and Pous, Damien and Rot, Jurriaan}, biburl = {https://www.bibsonomy.org/bibtex/264debbd652736757e3d3c0a0f4fcde80/admin}, booktitle = {CSL-LICS}, crossref = {conf/csl/2014}, editor = {Henzinger, Thomas A. and Miller, Dale}, ee = {https://doi.org/10.1145/2603088.2603149}, interhash = {3c1035d88e46eb699e8689e0a5c4335f}, intrahash = {64debbd652736757e3d3c0a0f4fcde80}, isbn = {978-1-4503-2886-9}, keywords = {}, pages = {20:1-20:9}, publisher = {ACM}, timestamp = {2023-12-12T21:17:54.000+0100}, title = {Coinduction up-to in a fibrational setting.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2014.html#BonchiPPR14}, year = 2014 }