corecursion

From co- +‎ recursion.

corecursion (uncountable)

1. The dual to recursion, that acts on the computed result, rather than the input.

   The natural numbers ${\displaystyle \mathbb {N} }$ may be defined by corecursion as ${\displaystyle \{0\}\cup \{n+1|n\in \mathbb {N} \}}$.

   Programming languages with lazy evaluation support corecursion so that the programmer can refer to infinite objects.

• co-recursive

• recursion
• corecursion on Wikipedia.Wikipedia