"Contractive Functions on Infinite Data Structures."

Venanzio Capretta, Graham Hutton, Mauro Jaskelioff (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics