A Natural Counting of Lambda Terms (Q2794357)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Natural Counting of Lambda Terms |
scientific article |
Statements
A Natural Counting of Lambda Terms (English)
0 references
10 March 2016
0 references
lambda calculus
0 references
black-white trees
0 references
zigzag-free trees
0 references
asymptotic density
0 references
functional programming
0 references
