β-簡約
#Fleeting_Notes
β-簡約(β-reduction)
ラムダ式の簡約ルールの一つ
$ (λx.M) N \Rightarrow [N\backslash x] M
$ (\lambda x.f(x))(a)\ \dot{=}\ f(a):Y
単純型付きラムダ計算の場合
$ \dot{=}
: 同値や「簡約される」の記号
例:
(λx.x + 1) 3
→ 3 + 1
→ 4
確認用
Q. β-簡約
関連
関数適用
代入
definitionally equal
参考
灼熱のホモトピー型理論入門
P10
『新装版 プログラミング言語の基礎理論』
P19
メモ
/mrsekut-p/β簡約
beta-reduction in nLab
Beta reduction - HaskellWiki
調査用
Google.icon
β-簡約(日)
Google.icon
β-reduction(英)
Wikipedia.icon
β-簡約 - Wikipedia(日)
β-簡約(検索) - Wikipedia(日)
Wikipedia.icon
Β-reduction - Wikipedia(英)
Β-reduction(検索) - Wikipedia(英)
#単純型理論