← Back to search

Meaning of de Bruijn index | Babel Free

Noun CEFR C1

Definitions

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

CEFR level

C1

Advanced
This word is part of the CEFR C1 vocabulary — advanced level.

See also

de Bruijn notation de Bruijn sequence de Bruijn torus de Bruijn-Erdős theorem de Bruijn-Newman constant de Bruijn's theorem