%0 Conference Paper %1 conf/ifl/CaprettaHJ16 %A Capretta, Venanzio %A Hutton, Graham %A Jaskelioff, Mauro %B IFL %D 2016 %E Schrijvers, Tom %I ACM %K dblp %P 5:1-5:13 %T Contractive Functions on Infinite Data Structures. %U http://dblp.uni-trier.de/db/conf/ifl/ifl2016.html#CaprettaHJ16 %@ 978-1-4503-4767-9

@inproceedings{conf/ifl/CaprettaHJ16, added-at = {2023-03-21T00:00:00.000+0100}, author = {Capretta, Venanzio and Hutton, Graham and Jaskelioff, Mauro}, biburl = {https://www.bibsonomy.org/bibtex/27d6a63506c8076b42b98c2bb3556358d/dblp}, booktitle = {IFL}, crossref = {conf/ifl/2016}, editor = {Schrijvers, Tom}, ee = {https://doi.org/10.1145/3064899.3064900}, interhash = {1e7128b0b970bbcddaa4803803338deb}, intrahash = {7d6a63506c8076b42b98c2bb3556358d}, isbn = {978-1-4503-4767-9}, keywords = {dblp}, pages = {5:1-5:13}, publisher = {ACM}, timestamp = {2024-04-10T04:36:52.000+0200}, title = {Contractive Functions on Infinite Data Structures.}, url = {http://dblp.uni-trier.de/db/conf/ifl/ifl2016.html#CaprettaHJ16}, year = 2016 }