About: ド・ブラウン・レベル

Property	Value
dbo:abstract	ド・ブラウン・レベル（英語: de Bruijn Level）とは、ラムダ計算において、名前を使わずに引数（束縛変数）を参照するための記法である。 (ja) ド・ブラウン・レベル（英語: de Bruijn Level）とは、ラムダ計算において、名前を使わずに引数（束縛変数）を参照するための記法である。 (ja)
dbo:wikiPageExternalLink	http://takeichi.ipl-lab.org/~hamana/Papers/scrs.pdf
dbo:wikiPageID	2668206 (xsd:integer)
dbo:wikiPageLength	494 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	86011183 (xsd:integer)
dbo:wikiPageWikiLink	dbpedia-ja:Category:エポニム dbpedia-ja:Category:ラムダ計算 dbpedia-ja:Λ dbpedia-ja:ド・ブラウン・インデックス dbpedia-ja:ラムダ計算 dbpedia-ja:代数 dbpedia-ja:名前 dbpedia-ja:引数 dbpedia-ja:自然数 dbpedia-ja:浜名誠
dct:subject	dbpedia-ja:Category:エポニム dbpedia-ja:Category:ラムダ計算
rdfs:comment	ド・ブラウン・レベル（英語: de Bruijn Level）とは、ラムダ計算において、名前を使わずに引数（束縛変数）を参照するための記法である。 (ja) ド・ブラウン・レベル（英語: de Bruijn Level）とは、ラムダ計算において、名前を使わずに引数（束縛変数）を参照するための記法である。 (ja)
rdfs:label	ド・ブラウン・レベル (ja) ド・ブラウン・レベル (ja)
prov:wasDerivedFrom	wikipedia-ja:ド・ブラウン・レベル?oldid=86011183&ns=0
foaf:isPrimaryTopicOf	wikipedia-ja:ド・ブラウン・レベル
is dbo:wikiPageRedirects of	dbpedia-ja:ド・ブラン・レベル
is dbo:wikiPageWikiLink of	dbpedia-ja:ド・ブラウン・インデックス dbpedia-ja:ニコラース・ホーヴァート・ド・ブラウン dbpedia-ja:ド・ブラン・レベル
is owl:sameAs of	dbpedia-wikidata:ド・ブラウン・レベル
is foaf:primaryTopic of	wikipedia-ja:ド・ブラウン・レベル