A unifying approach to recursive and co-recursive definitions (2002)

by P D Gianantonio, M Miculan
Venue:In TYPES