R.: Fixed points of type constructors and primitive recursion (2004)

by A Abel, Matthes
Venue:In: CSL ’04. LNCS