De Bruijn notation (Q5244291)
Jump to navigation
Jump to search
alternative postfix notation for lambda calculus
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | De Bruijn notation |
alternative postfix notation for lambda calculus |
Statements
1980
0 references
![{\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)
0 references
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki De Bruijn notation
- jawiki ド・ブラウン記法