De Bruijn notation
In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.
Wikipage disambiguates
Wikipage redirect
differentFrom
primaryTopic
De Bruijn notation
In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn. It can be seen as a reversal of the usual syntax for the λ calculus where the argument in an application is placed next to its corresponding binder in the function instead of after the latter's body.
has abstract
In mathematical logic, the De ...... ad of after the latter's body.
@en
ド・ブラン記法(英:De Bruijn notation)とは、ラムダ計算の表記のための構文の一つである。オランダ人数学者ニコラース・ホーバート・ド・ブランによって発明された。
@ja
Wikipage page ID
10,317,758
Wikipage revision ID
607,492,054
subject
hypernym
type
comment
In mathematical logic, the De ...... ad of after the latter's body.
@en
ド・ブラン記法(英:De Bruijn notation)とは、ラムダ計算の表記のための構文の一つである。オランダ人数学者ニコラース・ホーバート・ド・ブランによって発明された。
@ja
label
De Bruijn notation
@en
ド・ブラン記法
@ja