The natural numbers ℕ may be defined by corecursion as {0}∪{n+1|n∈ℕ}.
recursion kleene's recursion theorem primitive recursion recursion theory computability theory back substitution recurrence relation recursive function infinite recursion recursive descent
Save “corecursion” to learn later