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

by Pietro Di Gianantonio, Marino Miculan
Venue:In Types for Proofs and Programs, International Workshop, TYPES 2002, volume 2646 of LNCS