Flexible Coinduction in Agda. Ciccone, L., Dagnino, F., & Zucca, E. In Cohen, L. & Kaliszyk, C., editors, 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference), volume 193, of LIPIcs, pages 13:1–13:19, 2021. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. Paper doi bibtex @inproceedings{DBLP:conf/itp/CicconeDZ21,
author = {Luca Ciccone and
Francesco Dagnino and
Elena Zucca},
editor = {Liron Cohen and
Cezary Kaliszyk},
title = {Flexible Coinduction in Agda},
booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}
2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},
series = {LIPIcs},
volume = {193},
pages = {13:1--13:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.ITP.2021.13},
doi = {10.4230/LIPICS.ITP.2021.13},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/itp/CicconeDZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"niriPBs5beQMixK6P","bibbaseid":"ciccone-dagnino-zucca-flexiblecoinductioninagda-2021","author_short":["Ciccone, L.","Dagnino, F.","Zucca, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Ciccone"],"suffixes":[]},{"firstnames":["Francesco"],"propositions":[],"lastnames":["Dagnino"],"suffixes":[]},{"firstnames":["Elena"],"propositions":[],"lastnames":["Zucca"],"suffixes":[]}],"editor":[{"firstnames":["Liron"],"propositions":[],"lastnames":["Cohen"],"suffixes":[]},{"firstnames":["Cezary"],"propositions":[],"lastnames":["Kaliszyk"],"suffixes":[]}],"title":"Flexible Coinduction in Agda","booktitle":"12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)","series":"LIPIcs","volume":"193","pages":"13:1–13:19","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","year":"2021","url":"https://doi.org/10.4230/LIPIcs.ITP.2021.13","doi":"10.4230/LIPICS.ITP.2021.13","timestamp":"Wed, 21 Aug 2024 22:46:00 +0200","biburl":"https://dblp.org/rec/conf/itp/CicconeDZ21.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/itp/CicconeDZ21,\n author = {Luca Ciccone and\n Francesco Dagnino and\n Elena Zucca},\n editor = {Liron Cohen and\n Cezary Kaliszyk},\n title = {Flexible Coinduction in Agda},\n booktitle = {12th International Conference on Interactive Theorem Proving, {ITP}\n 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference)},\n series = {LIPIcs},\n volume = {193},\n pages = {13:1--13:19},\n publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\\\"{u}}r Informatik},\n year = {2021},\n url = {https://doi.org/10.4230/LIPIcs.ITP.2021.13},\n doi = {10.4230/LIPICS.ITP.2021.13},\n timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},\n biburl = {https://dblp.org/rec/conf/itp/CicconeDZ21.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ciccone, L.","Dagnino, F.","Zucca, E."],"editor_short":["Cohen, L.","Kaliszyk, C."],"key":"DBLP:conf/itp/CicconeDZ21","id":"DBLP:conf/itp/CicconeDZ21","bibbaseid":"ciccone-dagnino-zucca-flexiblecoinductioninagda-2021","role":"author","urls":{"Paper":"https://doi.org/10.4230/LIPIcs.ITP.2021.13"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/190/4511.bib","dataSources":["PApvtw4YhMZn9p54y","NhBqgkX23MS7AZK7a"],"keywords":[],"search_terms":["flexible","coinduction","agda","ciccone","dagnino","zucca"],"title":"Flexible Coinduction in Agda","year":2021}