ラムダ計算を学ぶためのリソースは何ですか？
Lambda Calculus に関するWikipediaのエントリは興味深いものでしたが、完成しました。私は少し深く潜り、ラムダ計算について理解を深めたいと思っています。
誰もがラムダ計算の最良の本または入門書であると考えるものを推薦できますか？
ウィキペディアのエントリが完了したら、オンライン コンピュータプログラムの構造と解釈 へのリンクをたどるか、割り当てを行うか、または 本 を読んでください。
まあ、常にあります ラムダ計算入門 。何度か読んでみましたが、いつも行き詰まっていました。私はこのことのほとんどをすでに知っていて、数学ではなくLISP/Schemeの観点から提示された場合、おそらくそれを理解するのが簡単になると思われます。あなたは幸運かもしれませんが:)
Chris Hankinによる " コンピュータ科学者のためのLambda Calculiの紹介 "は非常に優れていることがわかりましたが、実際には1つのクラスでのみ使用しました-現実の世界では使用していません:)
最近、Amazonから "ラムダ計算による関数型プログラミングの紹介" というタイトルの本をGreg Michaelsonによって購入しました。関数型プログラミングの概要であり、ラムダ計算も紹介しています。第一印象はかなり良いです。自己完結型で読みやすい本。 ここ 、PostScriptでインデックスなしの無料バージョンをダウンロードできます。
ラムダ計算自体についての参照は、まだ Barendregtの本 だと思います。
それを超えてそれはあなたがラムダ計算のどの「部分」に興味があるかにかなり依存します：タイピング？証明理論？項書き換え？関数型プログラミング？
これらはそれぞれそれ自体が分野であり、それをすべてカバーしている本は知りません。
理想的にはパーサーを介するのではなく、言語の組み込み構文を使用して関数型言語でラムダ計算インターペッターを作成してみてください。これは驚くほど簡単で、それに対するあなたの感触を改善するための良い方法です。
ラムダ計算を本当に使い始めて理解させた本は、ブラックバーンとボスによる「自然言語の表現と推論」でした。これは、Prologを使用した自然言語処理に関する本です。あなたが考えるかもしれない別の本は、アレンによる「自然言語理解」です。最後に、ラムダ計算が好きな場合は、コンビネータをラムダ式として定義できるため、おそらく組み合わせロジックも楽しめます。このために、スムラヤンのパズルの本「モックバードをあざける」を強くお勧めします。終わりに近づくと、コンビネータを使用して初歩的なプログラミング言語を構築します。
ここに素敵な説明があります（Schemeを使用）： http://www.cs.brown.edu/courses/cs173/2002/Lectures/2002-10-28-lc.pdf
そして、これは（私のブログからの）気の利いたビットで、再帰的な階乗を純粋なラムダに減らします： http://blogs.msdn.com/b/ashleyf/archive/2008/12/03/the-lambda-calculus。 aspx
楽しんで！