de Bruijn index
de Bruijn index noun: a notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.
Noun
de Bruijn index (plural de Bruijn indexes)
- A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.
Forms of de Bruijn index
| plural | de Bruijn indexes |
|---|
Origin of de Bruijn index
Invented by the Dutch mathematician Nicolaas Govert de Bruijn.
Questions about de Bruijn index
- What does de Bruijn index mean?
- De Bruijn index means a notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.
- What part of speech is de Bruijn index?
- De Bruijn index is a noun.
- What is the plural of de Bruijn index?
- The plural of de Bruijn index is de Bruijn indexes.
Words near de Bruijn index in the dictionary
Source and license
Adapted from Wiktionary: de Bruijn index (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “de Bruijn index.” Word.ws, https://word.ws/de_bruijn_index. Based on Wiktionary, CC BY-SA 4.0.
