『入門Common Lisp』 9/28に発売

入門Common Lisp〜関数型4つの特徴とλ計算

8章は読み応えありそうです。
2章 xyzzy上でのLispプログラミング
8章 λ計算

  • λ計算事始
  • λ式
  • 関数抽象と関数適用
  • 型なしλ計算
  • カリー化
  • β変換
  • Church-Rosserの定理と正規化定理
  • λ式による関数
  • λ式による制御構造
  • Lispによるλ計算

About this entry