ラムダ計算
ラムダ計算(ラムダけいさん、lambda calculus)
λ計算
Alonzo Church
と
Stephen Cole Kleene
が1930年代に発明した
計算モデル
関数をより抽象的に扱う
便利なこと
引数
カリー化
した関数を簡単に表せる
$ λ[入力].[出力]
code:memo.hs
-- λx.e
-- Haskellで表すと
f :: x -> e
$ M ::= x \ |\ λx.M \ |\ M_1M_2
ラムダ抽象
ラムダ計算
型無しラムダ計算
型付きラムダ計算
単純型付きラムダ計算
それ以外の型付きラムダ計算
本
Lambda Calculi of Types
参考
/mrsekut-p/ラムダ計算
「ラムダ計算」を独学で学習するための，講義ノートやPDFのリンク集 （復習用の問題付き） - 主に言語とシステム開発に関して
https://www.kurims.kyoto-u.ac.jp/~cs/lecture2009/lecture090507.pdf
ラムダ計算入門 2005 年度「計算機ソフトウェア工学」授業資料
『計算論理学』講義資料
関連
チューリングマシン
SKIコンビネータ
フレーゲ
α-変換
β-簡約
η-変換
λHOL
λ-2D
メモ
https://youtu.be/puND0CZoqLc?si=vZmvP7nFMi-tVzCe