"Unifying structured recursion schemes - An Extended Study."

Ralf Hinze, Nicolas Wu (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics