Corecursion

English

Etymology

From Template:Prefix.

Noun

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

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

   Template:Ux

Related terms

• Template:L

See also

• Template:L
• Template:Pedia