ド・ブラウン・レベル
ド・ブラウン・レベル（）とは、ラムダ計算において、名前を使わずに引数（束縛変数）を参照するための記法である。