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