余帰納法
#Fleeting_Notes
余帰納法(Coinduction)
確認用
Q. 余帰納法
メモ
Coqの余帰納法についてまとめました #Coq - Qiita
帰納法と余帰納法の何がどう双対なのか(初等的に) - sumiiのブログ
『A Tutorial on (Co)algebras and (Co)induction』
調査用
Google.icon
余帰納法(日)
Google.icon
Coinduction(英)
Wikipedia.icon
余帰納法 - Wikipedia(日)
余帰納法(検索) - Wikipedia(日)
Wikipedia.icon
Coinduction - Wikipedia(英)
Coinduction(検索) - Wikipedia(英)