ラムダ計算を学習する
ラムダ計算を学習する(learn lambda calculus)
住井 英二郎. 2005.
ラムダ計算入門 2005 年度「計算機ソフトウェア工学」授業資料
勝股 審也. 2011
コンピュータ・サイエンス入門 ラムダ計算第 1 回目資料
コンピュータ・サイエンス入門 ラムダ計算第 3 回目資料
亀山 幸義. 2014.
『計算論理学』講義資料
大堀 淳.
『新装版 プログラミング言語の基礎理論』
Lambda Calculi of Types
https://home.ttic.edu/~dreyer/course/papers/barendregt.pdf
確認用
Q. ラムダ計算を学習するのにおすすめなものは
調査用
Google.icon
ラムダ計算を学習する(日)
Google.icon
Learn lambda calculus(英)