24 Feb
2013
24 Feb
'13
7:22 a.m.
On Sun, Feb 24, 2013 at 7:09 PM, Roman Cheplyaka
Thus, your recursion is well-founded — you enter the recursion with the input strictly smaller than you had in the beginning.
Perhaps you meant /productive/ corecursion? Because the definition "A ::= B A" you gave is codata. -- Kim-Ee