Pages that link to "Item:Q2789550"
From MaRDI portal
The following pages link to Counting terms in the binary lambda calculus (Q2789550):
Displaying 5 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)
- An adequate and efficient left-associated binary numeral system in the \(\lambda\)-calculus (Q2713367) (← links)
- Asymptotic Properties of Combinatory Logic (Q2948454) (← links)
- (Q4865608) (← links)