『入門Common Lisp』 9/28に発売
8章は読み応えありそうです。
2章 xyzzy上でのLispプログラミング
8章 λ計算
- λ計算事始
- λ式
- 関数抽象と関数適用
- 型なしλ計算
- カリー化
- β変換
- Church-Rosserの定理と正規化定理
- λ式による関数
- λ式による制御構造
- Lispによるλ計算
About this entry
You’re currently reading “『入門Common Lisp』 9/28に発売,” an entry on oojah log
- Published:
- 09.12.06 / 9pm
- Category:
- Lisp, xyzzy, プログラマに役立つ本
No comments
Jump to comment form | comments rss [?] | trackback uri [?]