Генеративная рекурсия против корекурсии
Обсуждение рекурсии в Википедии указывает на то, что порождающие рекурсивные функции " часто можно интерпретировать как corecursive функции" (выделено мной), в то время как обсуждение в corecursion в Википедии звучит так, как если бы два автора называли это [corecursion] генеративной рекурсией ".
Чем отличается генеративная рекурсия от корекурсии? Являются ли они строгими синонимами или бывают случаи, когда что-то генеративно-рекурсивное не является корекурсивным?