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

by A Abel, Matthes
Venue:Computer Science Logic: 18th International Workshop, CSL 2004. Proceedings. Volume 3210 of Lecture Notes in Computer Science