de Bruijn index

Noun

Meaning

de Bruijn index (plural de Bruijn indexes)

(mathematics) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.

Source: en.wiktionary.org

Examples

In the De Bruijn index notation, any two alpha-equivalent terms are literally identical. Source: Internet

Close letter words and terms

de Broglie wavelength de Broglie-Bohm theory de Bruijn graph de Bruijn notation de Bruijn sequence de Bruijn torus