Pages that link to "Item:Q4601892"
From MaRDI portal
The following pages link to On the number of lambda terms with prescribed size of their De Bruijn representation (Q4601892):
Displaying 7 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)
- Statistical properties of lambda terms (Q2327214) (← links)
- On the enumeration of closures and environments with an application to random generation (Q4972734) (← links)
- Counting environments and closures (Q4993337) (← links)
- Normal-order reduction grammars (Q5372004) (← links)
- Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers (Q5886342) (← links)