de Bruijn notation
Appearance
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)