de Bruijn notation

noun

A certain syntax for terms in the lambda calculus.

Meanings

nounde Bruijn notation (uncountable)
  1. uncountablemathematicsA certain syntax for terms in the lambda calculus.

Origin

Named after the Dutch mathematician Nicolaas Govert de Bruijn.

Full word history & related roots →
Cite this entry
APA

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

MLA

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

Chicago

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

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