Primitive (co)recursion and course-of-value (co)iteration, categorically (1999)

by T Uustalu, V Vene
Venue:Informatica, Lith. Acad. Sci