Pages that link to "Item:Q396960"
From MaRDI portal
The following pages link to Enumeration of generalized BCI lambda-terms (Q396960):
Displayed 5 items.
- Asymptotics and random sampling for BCI and BCK lambda terms (Q391429) (← links)
- 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)
- Asymptotic Properties of Combinatory Logic (Q2948454) (← links)
- Counting and generating terms in the binary lambda calculus (Q5371959) (← links)