Skip to content
ontologydriven
Sign out

Dictionary

Words, grammatical forms and meanings linked to the ontology.

corecursion en · NOUN

Etymology

From co- + recursion.

Meanings

  1. (uncountable) The 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
    • Programming languages with lazy evaluation support corecursion so that the programmer can refer to infinite objects.

Relateds

recursion · co-recursive