%0 Conference Paper %1 conf/calco/Grodin023 %A Grodin, Harrison %A Harper, Robert %B CALCO %D 2023 %E Baldan, Paolo %E de Paiva, Valeria %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 23:1-23:6 %T Amortized Analysis via Coinduction (Early Ideas). %U http://dblp.uni-trier.de/db/conf/calco/calco2023.html#Grodin023 %V 270 %@ 978-3-95977-287-7

@inproceedings{conf/calco/Grodin023, added-at = {2023-09-30T00:00:00.000+0200}, author = {Grodin, Harrison and Harper, Robert}, biburl = {https://www.bibsonomy.org/bibtex/27cb7e5c3595b15326f5363d23e48e06b/dblp}, booktitle = {CALCO}, crossref = {conf/calco/2023}, editor = {Baldan, Paolo and de Paiva, Valeria}, ee = {https://doi.org/10.4230/LIPIcs.CALCO.2023.23}, interhash = {02efa9c423cf1789f84a4b56ba9071ce}, intrahash = {7cb7e5c3595b15326f5363d23e48e06b}, isbn = {978-3-95977-287-7}, keywords = {dblp}, pages = {23:1-23:6}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-10T00:32:39.000+0200}, title = {Amortized Analysis via Coinduction (Early Ideas).}, url = {http://dblp.uni-trier.de/db/conf/calco/calco2023.html#Grodin023}, volume = 270, year = 2023 }