HomeServicesBlogDictionariesContactSpanish Course
← Back to search

Meaning of corecursion | Babel Free

Noun CEFR C1

Definitions

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

uncountable

Examples

“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\}.

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

CEFR level

C1
Advanced
This word is part of the CEFR C1 vocabulary — advanced level.

See also

Learn this word in context

See corecursion used in real conversations inside our free language course.

Start Free Course