Corecursion

Full definition of corecursion

Noun

1. The dual to recursion, that acts on the computed result, rather than the input.''The natural numbers $\backslash N$ may be defined by corecursion as $$

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

Related terms

• co-recursive