de Bruijn notation
English edit
Etymology edit
Named after the Dutch mathematician Nicolaas Govert de Bruijn.
Noun edit
de Bruijn notation (uncountable)
- (mathematics) A certain syntax for terms in the lambda calculus.
Named after the Dutch mathematician Nicolaas Govert de Bruijn.
de Bruijn notation (uncountable)