When is a Function a Fold or an Unfold? (Electronic Notes in Theoretical Computer Science, 2001)

(untitled) - Gibbons, J; Hutton, G; Altenkirch, T