Noun
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.
In the De Bruijn index notation, any two alpha-equivalent terms are literally identical. Source: Internet