When is a function a fold or an unfold (0)

by J Gibbons, G Hutton, T Altenkirch
Venue:Electronic Notes in Theoretical Computer Science