de bruijn notation
Transcription
-
- US Pronunciation
- US IPA
-
-
- US Pronunciation
- US IPA
-
Definition of de bruijn notation words
- noun Technical meaning of de bruijn notation (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. 1
Information block about the term
Parts of speech for De bruijn notation
noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
See also
Matching words
- Words starting with d
- Words starting with de
- Words starting with deb
- Words starting with debr
- Words starting with debru
- Words starting with debrui
- Words starting with debruij
- Words starting with debruijn
- Words starting with debruijnn
- Words starting with debruijnno
- Words starting with debruijnnot
- Words starting with debruijnnota
- Words starting with debruijnnotat
- Words starting with debruijnnotati
Was this page helpful?
Thank you for your feedback! Tell your friends about this page
Tell us why?