form of recursion. The Coq proof assistant supports corecursion and coinduction using the CoFixpoint command. Corecursion, referred to as circular programming
more convenient to do so. Forster, Thomas. Better-quasi-orderings and coinduction [優擬序與餘歸納]. Theoretical Computer Science. 2003, 309 (1–3): 111–123. doi:10