← Back to search

Meaning of de Bruijn notation | Babel Free

Noun CEFR C1

Definitions

A certain syntax for terms in the lambda calculus.

uncountable

CEFR level

C1

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

See also

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