Co-)iteration for higher-order nested datatypes (2003)

by A Abel, R Matthes
Venue:Selected Papers from 2nd Int. Wksh. on Types for Proofs and Programs, TYPES'02 (Berg en Dal near Nijmegen, Apr. 2002), Lect. Notes in Comput. Sci. 2646