Metadata
Author: WikiMatrix
Data
English[en]
The rule for primitive corecursion on codata is the dual to that for primitive recursion on data.
Dutch[nl]
De regel voor primitieve corecursie op codata is de duale van de regel voor primitieve recursie op data.