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.

Meanings

nounde Bruijn index (plural de Bruijn indexes)

plural de Bruijn indexes

  1. mathematicsA notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.

Origin

Invented by the Dutch mathematician Nicolaas Govert de Bruijn.

Full word history & related roots →
Cite this entry
APA

de Bruijn index. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/de%20Bruijn%20index

MLA

“de Bruijn index.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/de%20Bruijn%20index. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “de Bruijn index,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/de%20Bruijn%20index.

Source: de Bruijn index on Wiktionary, CC BY-SA 4.0.