corecursion

C3O1R1E1C3U1R1S1I1O1N1

noun

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

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

Scrabble 15

Meanings

nouncorecursion (uncountable)
  1. 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
APA

corecursion. (n.d.). In WatkinsX Dictionary. Retrieved November 3, 2026, from https://dictionary.watkinsx.com/word/corecursion

MLA

“corecursion.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/corecursion. Accessed November 3, 2026.

Chicago

WatkinsX Dictionary, s.v. “corecursion,” accessed November 3, 2026, https://dictionary.watkinsx.com/word/corecursion.

Source: corecursion on Wiktionary, CC BY-SA 4.0.