型付ラムダ計算の拡張

1. 種々のデータ構造の導入
2. 再帰的データ型（１）正規木による無限な型の表現
3. 再帰的データ型（２）正規木を型とする型付ラムダ計算Λμ1
4. 再帰的データ型（３）Λμ1の性質・型システムの健全性
5. 再帰的データ型（４））同型関係に基づく再帰的データ型