Corecursion

From testwiki
Revision as of 00:52, 19 August 2024 by imported>WingerBot (add missing From in English etyms, remove stray spaces and L2R markers (manually assisted))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

English

Etymology

From Template:Prefix.

Noun

Template:En-noun

  1. The dual to recursion, that acts on the computed result, rather than the input.
    The natural numbers ℕ may be defined by corecursion as {0}∪{n+1|n∈ℕ}.
    Template:Ux

See also

Retrieved from "https://en.wiktionary.beta.math.wmflabs.org/w/index.php?title=Corecursion&oldid=735"