generated at
coinduction
余帰納法
F-coalgebra
Corecursion
Bisimulation
Anamorphism
Total functional programming

googlecoinduction
image coinduction
define coinduction
wikipedia coinduction
weblio coinduction
kotobank coinduction
jisho coinduction