Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License

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

Etymologies

Sorry, no etymologies found.

Examples

  • Incorporating concepts and results from category theory, coalgebra leads us to concepts such as corecursion and coinduction; these are in a sense duals to the more standard notions of recursion and induction.

    Non-wellfounded Set Theory

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.