de bruijn index

Questions

What does de bruijn index mean?

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

Where does de bruijn index come from?

Invented by the Dutch mathematician Nicolaas Govert de Bruijn.

How to pronounce de bruijn index

1. Open the pronunciation page — Open the Speakur entry for “de bruijn index”.
2. Read the phonetic spelling — Read the IPA spelling () so you know which sounds to aim for.
3. Play the audio — Click Play to hear reference audio for “de bruijn index”.
4. Repeat and practice — Say “de bruijn index” aloud, matching stress and vowels until it feels natural.