帰納法の原理
from
Homotopy Type Theory(HoTT)
帰納法の原理(きのうほうのげんり、Induction Principle)
帰納法の原理という名前なのに自然数だけにしか言及が無くていまいちわからない
『型システム入門 －プログラミング言語と型の理論－』
第21章 再帰型のメタ理論 のところを読み込む
帰納法
余帰納法
の方面だと
余帰納法の原理
確認用
Q. 帰納法の原理
関連
Rule induction
数学的帰納法
メモ
数学的帰納法の原理（弱数学的帰納法の原理）| 実数の定義 | 実数 | 数学 | ワイズ
『The formal semantics of programming languages: an introduction』
『型システム入門 －プログラミング言語と型の理論－』
第21章 再帰型のメタ理論