Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun The dual to
recursion , that acts on the computed result, rather than the input.
Etymologies
Sorry, no etymologies found.
Support
Help support Wordnik (and make this page ad-free) by adopting the word corecursion.
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 Moss, Lawrence S. 2008
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.