>>202
計算論 計算可能性とラムダ計算
高橋 正子, 近代科学社
>計算論,特にラムダ計算について書かれています.後半は少し高度な内容になっています.

コンピュータサイエンス入門―アルゴリズムとプログラミング言語
大堀 淳, ジャック ガリグ, 西村 進, 岩波書店
>第1部は平易ですが,第2部はちょっときついです.でも,読む価値あり.(追記)型理論を学んだのちに第2部を読み返すとすごく理解しやすくなっていました.

コンピュータサイエンス入門―論理とプログラム意味論
田辺 誠, 中島 玲二, 長谷川 真人, 岩波書店
>第2部の不動点意味論が肝です.再帰と不動点の関係が明確に示されます.

プログラム意味論
横内 寛文, 共立出版
>プログラムの表示的意味論の解説書.前半は和書で単純型付きラムダの勉強をしたい人にもぴったり.

このあたりなら俺でも持っているが、学校の教科書として買ったものだよ。
大学生でも知ってることなのに今さらという気がしますね。