Meanings
- uncountableThe dual to recursion, that acts on the computed result, rather than the input.
The natural numbers #92;N may be defined by corecursion as #92;#123;0#92;#125;#92;cup#92;#123;n#43;1
n \in \N\}.
1 more example
Programming languages with lazy evaluation support corecursion so that the programmer can refer to infinite objects.
Origin
Cite this entry
corecursion. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/corecursion
“corecursion.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/corecursion. Accessed November 3, 2026.
WatkinsX Dictionary, s.v. “corecursion,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/corecursion.
Source: corecursion on Wiktionary, CC BY-SA 4.0.