Inproceedings,
Coinduction up-to in a fibrational setting.
F. Bonchi, D. Petrisan, D. Pous, and J. Rot.CSL-LICS, page 20:1-20:9. ACM, (2014)
Meta data
- BibTeX key
- conf/csl/BonchiPPR14
- entry type
- inproceedings
- booktitle
- CSL-LICS
- year
- 2014
- pages
- 20:1-20:9
- publisher
- ACM
- crossref
- conf/csl/2014
- ee
- https://doi.org/10.1145/2603088.2603149
- isbn
- 978-1-4503-2886-9
- url
- http://dblp.uni-trier.de/db/conf/csl/csl2014.html#BonchiPPR14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}