de Bruijn index

English

Etymology

Invented by the Dutch mathematician Nicolaas Govert de Bruijn.

Noun

de Bruijn index (plural de Bruijn indexes)

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