Böhm tree (Q5005152)
Jump to navigation
Jump to search
tree-like mathematical object for the lambda calculus
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Böhm tree |
tree-like mathematical object for the lambda calculus |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Böhm tree