A Unifying Approach to Recursive and Co-recursive Definitions.

Pietro Di Gianantonio Marino Miculan A Unifying Approach to Recursive and Co-recursive Definitions. 148-161 2002 conf/types/2002 TYPES http://link.springer.de/link/service/series/0558/bibs/2646/26460148.htm db/conf/types/types2002.html#GianantonioM02