de Bruijn notation

Etymology
Named after the Dutch mathematician Nicolaas Govert de Bruijn.

Noun

 * 1)  A certain syntax for terms in the lambda calculus.