0%

de bruijn notation

D d

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
Just one definition for de bruijn notation

Information block about the term

Parts of speech for De bruijn notation

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
Full grammatical hierarchy of De bruijn notation

See also

Matching words

Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?