ラムダ抽象
ラムダ抽象(ラムダちゅうしょう、lambda abstraction)
ラムダ計算で出てくるもの
$ \lambda x.M がラムダ抽象と呼ばれる
引数を$ x として、式$ M の値を計算するラムダ式
おそらく本当にただ「引数$ x を取って、式$ M を計算するラムダ式」というだけのこと
確認用
Q. ラムダ抽象
関連
関数適用
型付きラムダ計算
参考
『新装版 プログラミング言語の基礎理論』. P16 1.4.1
メモ
/mrsekut-p/ラムダ抽象
https://www.kurims.kyoto-u.ac.jp/~cs/lecture2009/lecture090507.pdf
「ラムダ計算」を独学で学習するための，講義ノートやPDFのリンク集　（復習用の問題付き）
https://aconite-ac.github.io/theorem_proving_in_lean4_ja/dependent_type_theory.html#function-abstraction-and-evaluation-関数抽象と評価