ド・ブラウン記法
ド・ブラウン記法(英:De Bruijn notation)とは、ラムダ計算の表記のための構文の一つである。オランダ人数学者ニコラース・ホーヴァート・ド・ブラウンによって発明された。
Q242028
ラムダ計算
Concept
None
表記
UNK
None
構文
UNK
Q200569
オランダ人
Concept
Q170790
数学者
Concept
Q1078285
ニコラース・ホーヴァート・ド・ブラウン
PER
Q5244291
ド・ブラウン記法
Concept
discoverer or inventor
occupation