DE BRUIJN NOTATION

Domain	Definition
Computing	De Bruijn notation A variation of lambda notation for specifying functions using numbers instead of names to refer to formal parameters. A reference to a formal parameter is a number which gives the number of lambdas (written as \ here) between the reference and the lambda which binds the parameter. E.g. the function \ f . \ x . f x would be written \ . \ . 1 0. The 0 refers to the innermost lambda, the 1 to the next etc. The chief advantage of this notation is that it avoids the possibility of name capture and removes the need for alpha conversion. [N.G. De Bruijn, "Lambda Calculus Notation with Nameless Dummies: A Tool for Automatic Formula Manipulation, with Application to the Church-Rosser Theorem", Indag Math. 34, pp 381-392]. Source: The Free On-line Dictionary of Computing.
Source: compiled by the editor from various references; see credits.

Anagrams: DE BRUIJN NOTATION

Scrabble® Enable2K-Verified Anagrams
	Words within the letters "a-b-d-e-i-i-j-n-n-n-o-o-r-t-t-u"
	-4 letters: antineutrino.
	-5 letters: antineutron, indentation, orientation.
Source: compiled by the editor from various references; see credits. SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the U.S.A and Canada by Hasbro Inc., and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Mattel and Spear are not affiliated with Hasbro.