%0 Conference Paper %1 conf/ppdp/DownenA20 %A Downen, Paul %A Ariola, Zena M. %B PPDP %D 2020 %I ACM %K dblp %P 5:1-5:13 %T A Computational Understanding of Classical (Co)Recursion. %U http://dblp.uni-trier.de/db/conf/ppdp/ppdp2020.html#DownenA20 %@ 978-1-4503-8821-4

@inproceedings{conf/ppdp/DownenA20, added-at = {2021-07-25T00:00:00.000+0200}, author = {Downen, Paul and Ariola, Zena M.}, biburl = {https://www.bibsonomy.org/bibtex/20af44b29fdf4183befde9c462151e726/dblp}, booktitle = {PPDP}, crossref = {conf/ppdp/2020}, ee = {https://doi.org/10.1145/3414080.3414086}, interhash = {3c02c2fc4378edcc20d52fbbb00420e5}, intrahash = {0af44b29fdf4183befde9c462151e726}, isbn = {978-1-4503-8821-4}, keywords = {dblp}, pages = {5:1-5:13}, publisher = {ACM}, timestamp = {2024-04-10T05:43:04.000+0200}, title = {A Computational Understanding of Classical (Co)Recursion.}, url = {http://dblp.uni-trier.de/db/conf/ppdp/ppdp2020.html#DownenA20}, year = 2020 }