型理論テキスト - flatlineの日記跡地

最近増えてる絶版本の無償ダウンロード（PostScript）．ちょっと難しそう．

http://www.cs.kent.ac.uk/people/staff/sjt/TTFP/ Thompson, Type Theory and Functional Programming, Addison-Wesley

売り物では青っぽい表紙の変型判の本が評判いいようだが... 何てやつだっけな．
追記： Pierce, Types and Programming Languages, MIT Press だった．全然青くない（笑）探そうとしても電磁気の "Purcell"*1 が頭をよぎって思い出せなかった... 結局，大和谷さんのブックガイド http://www.jaist.ac.jp/~kiyoshiy/reading/ から探した．

*1:パーセル編，電磁気，バークレー物理学コース2，丸善の人．NMR現象の発見によりBlochと共に1952年度のNobel賞を受賞．ちなみにリンク先の邦訳版は原書と比べて質が落ちるらしい（良書らしいがどっちも読んだことない）．