de Bruijn indexes

A form of de Bruijn index — A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

noun
  1. pluralplural of de Bruijn index
Cite this entry
APA

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

MLA

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

Chicago

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

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