余帰納法
#Fleeting_Notes
余帰納法(Coinduction)
確認用
Q. 余帰納法
メモ
矢田部 俊介
. 循環性を受け入れる ――構成主義における可述性の位置づけの変更とその影響――. 2013.
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/173335/1/phs_7_1.pdf
帰納法と余帰納法の何がどう双対なのか（初等的に） - sumiiのブログ
Coqの余帰納法についてまとめました #Coq - Qiita
『A Tutorial on (Co)algebras and (Co)induction』
調査用
Google.icon
余帰納法(日)
Google.icon
Coinduction(英)
Wikipedia.icon
余帰納法 - Wikipedia(日)
余帰納法(検索) - Wikipedia(日)
Wikipedia.icon
Coinduction - Wikipedia(英)
Coinduction(検索) - Wikipedia(英)