"A hierarchy of mendler style recursion combinators: taming inductive ..."

Ki Yung Ahn, Tim Sheard (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics