情報論理(H谷先生) introduction ハードウェア構成法実験 74シリーズICを用いてセレクタ or 加算器 or 乗算器の作成

型無しλ計算の部分(7章まで)は、大筋は理解出来たと思う。Church数と戯れてみたり。call-by-nameやcall-by-value等のevaluation戦略は実はλ計算の用語だったんですね。初めて知った。de Bruijn式表記を採り入れる事で発生する"shift"という操作が最初分から…