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