Inductive and coinductive components of corecursive functions (2008)

by Y Bertot, E Komendantskaya
Venue:in Coq. Elect. Notes in Theor. Comp. Sci