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
0 references
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki De Bruijn notation
- jawiki ド・ブラウン記法