De Bruijn index
In mathematical logic, the De Bruijn index is a tool invented by the Dutch mathematician Nicolaas Govert de Bruijn for representing terms of lambda calculus without naming the bound variables. Terms written using these indices are invariant with respect to α-conversion, so the check for α-equivalence is the same as that for syntactic equality. Each De Bruijn index is a natural number that represents an occurrence of a variable in a λ-term, and denotes the number of binders that are in scope between that occurrence and its corresponding binder. The following are some examples:
known for
Wikipage disambiguates
Wikipage redirect
Link from a Wikipage to another Wikipage
known for
primaryTopic
De Bruijn index
In mathematical logic, the De Bruijn index is a tool invented by the Dutch mathematician Nicolaas Govert de Bruijn for representing terms of lambda calculus without naming the bound variables. Terms written using these indices are invariant with respect to α-conversion, so the check for α-equivalence is the same as that for syntactic equality. Each De Bruijn index is a natural number that represents an occurrence of a variable in a λ-term, and denotes the number of binders that are in scope between that occurrence and its corresponding binder. The following are some examples:
has abstract
In mathematical logic, the De ...... and logic programming systems.
@en
ド・ブラウン・インデックス(英:De Bruijn Inde ...... 者ニコラース・ホーヴァート・ド・ブラウンによって発明された。
@ja
Wikipage page ID
10,314,482
page length (characters) of wiki page
Wikipage revision ID
1,013,818,847
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
type
comment
In mathematical logic, the De ...... e following are some examples:
@en
ド・ブラウン・インデックス(英:De Bruijn Inde ...... 者ニコラース・ホーヴァート・ド・ブラウンによって発明された。
@ja
label
De Bruijn index
@en
ド・ブラウン・インデックス
@ja