ラムダ計算
Alonzo Church
と
Stephen Cole Kleene
が1930年代に発明した
計算モデル
関数をより抽象的に扱う
便利なこと
引数
カリー化した関数を簡単に表せる
$ λ[入力].[出力]
code:memo.hs
-- λx.e
-- Haskellで表すと
f :: x -> e
ラムダ計算
型無しラムダ計算
型付きラムダ計算
単純型付きラムダ計算
それ以外の型付きラムダ計算
ラムダ抽象
本
Lambda Calculi of Types
参考
/mrsekut-p/ラムダ計算
「ラムダ計算」を独学で学習するための,講義ノートやPDFのリンク集 (復習用の問題付き) - 主に言語とシステム開発に関して
https://www.kurims.kyoto-u.ac.jp/~cs/lecture2009/lecture090507.pdf
https://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf
[
http://www.cs.tsukuba.ac.jp/~kam/lecture/complogic2014/main.pdf
]
関連
SKIコンビネータ
フレーゲ