The story
Named after the Dutch mathematician Nicolaas Govert de Bruijn.
Etymology from Wiktionary, CC BY-SA 4.0.
de Bruijn notation
Today it means: A certain syntax for terms in the lambda calculus. Full definition →
Today it means: A certain syntax for terms in the lambda calculus. Full definition →
Named after the Dutch mathematician Nicolaas Govert de Bruijn.
Etymology from Wiktionary, CC BY-SA 4.0.