Word:

Browse

DDSS
DDT
DDU
DDV
DDVS
DDVT
DDWG
DDX
DE
De arbitratione facta
De Bakey
De bene esse
De bonis non
De bonis propriis
de Broglie
De Bruijn graph
-- De Bruijn notation --
De contumace capiendo
De domo reparanda
De donis
De facto
de facto segregation
de facto standard
De fide et officio judicis non recipitur quaestio; sed de scientia
De forciant
De Forest
de Gaulle
De homine replegiando
De injuria
De judaismo
De jure
De jure judices
de jure segregation

De Bruijn notation

Advertisement

(language)

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

About this site and copyright information - Online Dictionary Home