De Bruijn index (Q5244288)
Jump to navigation
Jump to search
mathematical notation for use in lambda calculus
Language | Label | Description | Also known as |
---|---|---|---|
English | De Bruijn index |
mathematical notation for use in lambda calculus |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki De Bruijn index
- jawiki ド・ブラウン・インデックス