%0 Conference Paper %1 conf/ppdp/0001PS21 %A De, Abhishek %A Pellissier, Luc %A Saurin, Alexis %B PPDP %D 2021 %E Veltri, Niccolò %E Benton, Nick %E Ghilezan, Silvia %I ACM %K dblp %P 7:1-7:15 %T Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2021.html#0001PS21 %@ 978-1-4503-8689-0

@inproceedings{conf/ppdp/0001PS21, added-at = {2021-10-27T00:00:00.000+0200}, author = {De, Abhishek and Pellissier, Luc and Saurin, Alexis}, biburl = {https://www.bibsonomy.org/bibtex/2c9687ab643bbbd004396b4f7de5f121d/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2021}, editor = {Veltri, Niccolò and Benton, Nick and Ghilezan, Silvia}, ee = {https://doi.org/10.1145/3479394.3479402}, interhash = {ebe6ee28c8e53cbc13648e85c7cf5813}, intrahash = {c9687ab643bbbd004396b4f7de5f121d}, isbn = {978-1-4503-8689-0}, keywords = {dblp}, pages = {7:1-7:15}, publisher = {ACM}, timestamp = {2024-04-09T21:36:32.000+0200}, title = {Canonical proof-objects for coinductive programming: infinets with infinitely many cuts.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2021.html#0001PS21}, year = 2021 }