High Quality Content by WIKIPEDIA articles! In computer science, corecursion is a type of operation that is dual to recursion. Where recursion works analytically, starting on data further from a base case and breaking it into smaller data and repeating until one reaches a base case, corecursion works synthetically, starting from a base case and iteratively producing data further removed from a base case. Put simply, it is about algorithms using the data which they themselves produce, bit by bit, as they become available, and needed, to produce further bits of data.