De Bruijn index
mathematical notation for use in lambda calculus
Press Enter · cited answer in seconds
0 sources
De Bruijn index
Summary
De Bruijn index is a mathematical concept[1]. It draws 35 Wikipedia views per month (mathematical_concept category, ranking #232 of 1,007).[2]
Key Facts
- De Bruijn index's image is recorded as De Bruijn index illustration 1.svg[3].
- De Bruijn index's instance of is recorded as mathematical concept[4].
- Nicolaas Govert de Bruijn is named after De Bruijn index[5].
- De Bruijn index's subclass of is recorded as mathematical notation[6].
- De Bruijn index's Freebase ID is recorded as /m/02q86f1[7].
- De Bruijn index's Stack Exchange tag is recorded as https://proofassistants.stackexchange.com/tags/de-bruijn-indexing[8].
- De Bruijn index's Microsoft Academic ID is recorded as 12618317[9].
Why It Matters
De Bruijn index draws 35 Wikipedia views per month (mathematical_concept category, ranking #232 of 1,007).[2]