α-同値
α-同値(α-equivalent) / α同値関係
ラムダ式内の束縛変数xを別の束縛変数yに置き換えても同値であるような関係
以下のようなやつ
(1)$ P =_α P \quad \mathrm{for\ all\ P }
(2) $ \lambda x.P =_α \lambda y.P[x:=y] \quad (\text{if}\ y \notin \mathrm{FV}(P))
$ P : 前項(pre-terms)の集合$ \Lambda^{-} の要素$ P
$ \lambda x. M = \lambda y[y/x] M \quad (y \notin FV(M))
$ FV(M) : ラムダ式$ M に含まれる自由変数の集合
確認用
Q. α-同値
参考
調査用
Wikipedia.icon
Wikipedia.icon