de Bruijn index
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Invented by the Dutch mathematician Nicolaas Govert de Bruijn.
Noun[edit]
de Bruijn index (plural de Bruijn indexes)
- (mathematics) A notation for representing terms in the lambda calculus with the purpose of eliminating the names of the variables from the notation.