プログラマが読むべき10冊
1.Types and Programming Languages
( http://www.cis.upenn.edu/~bcpierce/tapl/ )
TAPLは現実
2.Advanced Topics in Types and Programming Languages
( http://www.cis.upenn.edu/~bcpierce/attapl/resources.html )
Chap8 , Chap10は読んだ方が身の為
3.Foundations for Programming Languages
( http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=3460 )
プチ辞書
4.Theoretical Aspects of Object-Oriented Programming
( http://mitpress.mit.edu/catalog/item/default.asp?tid=8205&ttype=2 )
Chap12のBounded Quantification is UndecidableとChap14 Inheritance is Not Subtypingは秩序
多分論文集ぽい感じなのでググれば割と読めると思います
5.知識と推論
6.プログラミング言語の基礎理論
( http://www.amazon.co.jp/dp/4320026594 酷い値段ですね…)
モデルの話が割と詳しかったり書き口が新鮮ですまぁまだ読めてないので全体は知りませんが
7.計算モデルの基礎理論
( http://www.amazon.co.jp/dp/4000103520/ 高い )
最近term rewriting systemの話を読み直したのですがやっぱり読み易いですねこの本
あと多分オートマトンの本とかが在ると思うんですが、そういうのは旨い人が宣伝する筈ですから、そうすると10冊書けました。