@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}
}

{"_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}