De Bruijn notation

(language)A variation of lambda notation for specifyingfunctions using numbers instead of names to refer to formal parameters. 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 alpha conversion.

[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].

单词	de bruijn notation
释义	De Bruijn notation De Bruijn notation (language)A variation of lambda notation for specifyingfunctions using numbers instead of names to refer to formal parameters. 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 alpha conversion. [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].
随便看	experimental cargo experimental center for mesoscale ocean prediction experimental chloride extraction line experimental climate prediction center experimental cloud lidar pilot study experimental combat operations center experimental composite leading indicator experimental composite vehicle experimental computer-based oceanographic requirements database experimental computer operational software experimental computer systems laboratory experimental computing facility experimental computing management committee experimental concentration - percent experimental condensed matter physics experimental condition experimental contamination studies experimental control interface experimental control system/station experimental coronavirus retinopathy experimental cytology experimental data handling equipment experimental (debian) experimental design experimental design and statistical analysis