de bruijn notation

Computing Dictionary

De Bruijn notation definition

language
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].
(2003-06-15)
The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source
Explore Dictionary.com
Previous Definition: de bruijn graph
Next Definition: de bruise
Words Near: de bruijn notation
More from Thesaurus.com
Synonyms and Antonyms for de bruijn notation
More from Reference.com
Search for articles containing de bruijn notation
Dictionary.com Word FAQs

Dictionary.com presents 366 FAQs, incorporating some of the frequently asked questions from the past with newer queries.

Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT

;