Yves Bertot Ekaterina Komendantskaya Using Structural Recursion for Corecursion http://arxiv.org/abs/0903.3850 2009 CoRR abs/0903.3850 db/journals/corr/corr0903.html#abs-0903-3850 informal publication