On the enumeration of closures and environments with an application to random generation (Q4972734)
From MaRDI portal
scientific article; zbMATH DE number 7136662
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the enumeration of closures and environments with an application to random generation |
scientific article; zbMATH DE number 7136662 |
Statements
26 November 2019
0 references
lambda-calculus
0 references
combinatorics
0 references
functional programming
0 references
mathematical analysis
0 references
complexity
0 references
cs.LO
0 references
math.CO
0 references
0 references
