関数型言語の基礎理論

このページでは、オンラインで入手できる入門的な資料、論文を紹介します。
これらの分野については書籍、論文が豊富にあります。 より興味を持たれた方は講師/TAにお問い合わせください。

ラムダ計算

• ラムダ計算ABC
  「数学セミナー」の記事です。
• 「ラムダ計算：プログラミング言語の数学モデル」( ps.gz, pdf)
  「コンピュータサイエンス入門」 の補助資料です。

型理論

• Luca Cardelli,"Basic polymorphic typechecking"
• Luca Cardelli, "Type systems"
• Luca Cardelli and Peter Wegner, "On understanding types, data abstraction, and polymorphism"

論理学との相似

• Philip Wadler, "Proofs are Programs: 19th Century Logic and 21st Century Computing"
  論理学とラムダ計算との相似性についてわかりやすく解説しています。