圏論とラムダ計算の参考書

次のエントリー内で書籍に触れています。

• groovyとラムダ式(6)：補足と総括 - 檜山正幸のキマイラ飼育記 (はてなBlog)→プログラミング言語の基礎理論、プログラム意味論
• ウルトラ・マクロな立場の定式化 - 檜山正幸のキマイラ飼育記 (はてなBlog)→プログラミング言語の基礎理論
• 見つけもの：Angelo Vistoliのていねいな論文 - 檜山正幸のキマイラ飼育記 (はてなBlog)→Categorical Logic and Type Theory, Handbook of Categorical Algebra 2
• データ型のクレイジー計算 - 檜山正幸のキマイラ飼育記 (はてなBlog)→Categories and Computer Science

圏論、論理、計算論の関係については、"Introduction to Higher-Order Categorical Logic" by Lambek & Scott（http://www.amazon.co.jp/gp/product/0521356539）も面白い。