ド・ブラウン・レベル
ド・ブラウン・レベル（英語: de Bruijn Level）とは、ラムダ計算において、名前を使わずに引数（束縛変数）を参照するための記法である。 == 解説 == この記法では、それぞれのλでは引数の名前を書かない。
ド・ブラウン・レベル（英語: de Bruijn Level）とは、ラムダ計算において、名前を使わずに引数（束縛変数）を参照するための記法である。 == 解説 == この記法では、それぞれのλでは引数の名前を書かない。
ド・ブラウン・レベル（英語: de Bruijn Level）とは、ラムダ計算において、名前を使わずに引数（束縛変数）を参照するための記法である。 == 解説 == この記法では、それぞれのλでは引数の名前を書かない。
出典: Wikipedia「ド・ブラウン・レベル」 · CC BY-SA 4.0
この記事を共有: X · Bluesky