de Bruijn notation
Jump to navigation
Jump to search
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.