coinduction
余帰納法
F-coalgebra
Corecursion
Bisimulation
Anamorphism
Total functional programming
/suto3/google.iconcoinduction
image coinduction
define coinduction
wikipedia coinduction
weblio coinduction
kotobank coinduction
jisho coinduction