ラムダ計算について勉強中(途中まで)

現在ラムダ計算とかを勉強中です。

ついでにpbsk氏にプログラム意味論を教えると言うことになっているので勉強がてら資料作成しています。

現状では、λ 式の定義、λ 式の等式関係、不動点コンビネータ、リダクション、データとその演算の表現、λ 定義可能と計算可能といった内容を書いたという段階です。

まだ途中(というか、多分5分の1も来てない)状態ですが、これからも書き進める予定。

間違いとか指摘があれば、コメントなりTwitterなりでよろしくです。。。

ラムダ計算と関数型言語を学ぶ from Naoki Hayashida