Noun
de Bruijn notation (uncountable) (mathematics) A certain syntax for terms in the lambda calculus.