Content-Length: 205758 | pFad | http://b.hatena.ne.jp/hengsu/%E5%8F%82%E8%80%83%E6%96%87%E7%8C%AE/
セミナー補足：教科書・参考書 - 檜山正幸のキマイラ飼育記 (はてなBlog)
ラムダ関連の教科書・参考書を聞かれてもよく知らない、というのがホントのところです。が、知ってるものだけ挙げると、まず、正統的なラムダ計算の定番教科書は、 Barendrect, H. "The Lambda Calculus -- its Syntax and Semantics" (North Holland 1981) HINDLEY & SELDIN "Introduction to Combinators and λ-Calculus" (Cambridge, 1986) とかでしょう。しかし、これらは随分古いので今はもっと読みやすいものがあるのかも知れません。 Barendrect はよく引用されているようですが、僕は見たことがありません。HINDLEY & SELDIN は持ってますが、付録3の CARE OF YOUR PET COMBINATOR 以外はちゃんと読んでません
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Fetched URL: http://b.hatena.ne.jp/hengsu/%E5%8F%82%E8%80%83%E6%96%87%E7%8C%AE/
Alternative Proxies:
松本孝幸＜内側から見た自閉症＞
