Home
Random
Nearby
Log in
Settings
Donate
About Wikidata
Disclaimers
Search
(Q5244291)
Watch
English
De Bruijn notation
alternative postfix notation for lambda calculus
In more languages
default for all languages
No label defined
No description defined
edit
Statements
instance of
mathematical concept
0 references
subclass of
mathematical notation
0 references
named after
Nicolaas Govert de Bruijn
0 references
discoverer or inventor
Nicolaas Govert de Bruijn
0 references
time of discovery or invention
1980
0 references
defining formula
v
→
v
λ
x
.
ϕ
→
[
x
]
ϕ
ϕ
x
→
(
x
)
ϕ
{\displaystyle {\begin{aligned}v&\to v\\\lambda x.\phi &\to [x]\phi \\\phi x&\to (x)\phi \end{aligned}}}
0 references
maintained by WikiProject
WikiProject Mathematics
0 references
Identifiers
Freebase ID
/m/02q88c8
0 references
Microsoft Academic ID
2777914174
0 references
Sitelinks
Wikipedia
(2 entries)
edit
enwiki
De Bruijn notation
jawiki
ド・ブラウン記法
Wikibooks
(0 entries)
edit
Wikinews
(0 entries)
edit
Wikiquote
(0 entries)
edit
Wikisource
(0 entries)
edit
Wikiversity
(0 entries)
edit
Wikivoyage
(0 entries)
edit
Wiktionary
(0 entries)
edit
Multilingual sites
(0 entries)
edit
![{\displaystyle {\begin{aligned}v&\to v\\\lambda x.\phi &\to [x]\phi \\\phi x&\to (x)\phi \end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/293c9f9d5ee9585c83bd72f8d7313846c3423903)