ド・ブラウン記法
Iを通常のラムダ計算の記法からド・ブラウン記法への変換とし、vを任意の変数名、MとNを任意のド・ブラウン記法の項とするとき、
I(v) = v
I(λv.M) = [v]I(M)
I(M N) = (I(N))I(M)
となる。