自由に生成された集合と再帰的関数，「型推論」特別講義 第4回 ・プログラミング言語のモデル第５回(プログラミング言語の基礎理論シリーズ）

今回の内容は「自由に生成された集合と再帰的関数」、「暗黙に型付けられたラムダ計算」です。
教科書：大堀 淳著、新装版 プログラミング言語の基礎理論、共立出版
（ www.kyoritsu-p... ）の
第１章 プログラミング言語のモデル （以下の部分）
1.3.2 言語に対する再帰的な関数定義と文法の曖昧さ（一部）
1.4.1 型無しラムダ計算の定義
第４章 型推論システム（全般）
4.1 暗黙に型付けられたラムダ計算
4.1.1 λの定義
の内容をカバーします。
講義の狙い等は、詳しくは再生リスト「型推論」特別講義 (プログラミング言語
の基礎理論シリーズ）
• 「型推論」特別講義 (プログラミング言語の基...
の説明をご覧ください。