The following pages link to On counting untyped lambda terms (Q1944777):
Displaying 10 items.
- Enumerating lambda terms by weighted length of their de Bruijn representation (Q1706116) (← links)
- On the number of unary-binary tree-like structures with restrictions on the unary height (Q1745901) (← links)
- On some enumerative problems in lambda calculus (Q2202676) (← links)
- Statistical properties of lambda terms (Q2327214) (← links)
- (Q3194765) (← links)
- Combinatorics of $\lambda$-terms: a natural approach (Q4555458) (← links)
- <i>Theoretical Pearls</i>Enumerators of lambda terms are reducing (Q4763984) (← links)
- (Q4993547) (← links)
- Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels (Q5210975) (← links)
- Counting and generating terms in the binary lambda calculus (Q5371959) (← links)
