ラムダ抽象
ラムダ抽象(ラムダちゅうしょう、lambda abstraction)
ラムダ計算
確認用
Q. ラムダ抽象
参考
/mrsekut-p/ラムダ抽象
https://www.kurims.kyoto-u.ac.jp/~cs/lecture2009/lecture090507.pdf
「ラムダ計算」を独学で学習するための，講義ノートやPDFのリンク集 （復習用の問題付き）
関連