English

Noun

corecursion ‎(uncountable)

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

   The natural numbers may be defined by corecursion as .

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

Related terms

• co-recursive

See also

• recursion
• corecursion on Wikipedia.Wikipedia