このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

一般化帰納関数

リンク 論理 計算

http://d.hatena.ne.jp/m-hiyama-memo/20051226/1135592087に関連、一般化された帰納構造、帰納関数に関する参考：

  1. http://citeseer.ist.psu.edu/barthe03typebased.html 44P 長め
  2. http://citeseer.ist.psu.edu/gimenez98structural.html 14P
  3. http://citeseer.ist.psu.edu/128949.html 23P
  4. http://citeseer.ist.psu.edu/598022.html 14P イマイチか？
  5. http://citeseer.ist.psu.edu/geuvers92inductive.html 25P 有名
  6. http://citeseer.ist.psu.edu/audebaud91partial.html 10P 短い

とりあえず、最後の2つを読むかな。