DE BRUIJN NOTATION
\də bɹˈuːe͡ɪən nə͡ʊtˈe͡ɪʃən], \də bɹˈuːeɪən nəʊtˈeɪʃən], \d_ə b_ɹ_ˈuː_eɪ_ə_n n_əʊ_t_ˈeɪ_ʃ_ə_n]\
Sort: Oldest first
-
A variation of lambda notation for specifyingfunctions using numbers instead of names to refer to formalparameters. A reference to a formal parameter is a numberwhich gives the number of lambdas (written as \ here) betweenthe reference and the lambda which binds the parameter.E.g. the function \ f . \ x . f x would be written \ . \ . 10. The 0 refers to the innermost lambda, the 1 to the nextetc. The chief advantage of this notation is that it avoidsthe possibility of name capture and removes the need for alphaconversion.[N.G. De Bruijn, "Lambda Calculus Notation with NamelessDummies: A Tool for Automatic Formula Manipulation, withApplication to the Church-Rosser Theorem", Indag Math. 34, pp381-392].
By Denis Howe
Word of the day
Mustagh Range
- a mountain range in northern Kashmir; an extension of the Hindu Kush; contains 2nd highest peak