Pages that link to "Item:Q391429"
From MaRDI portal
The following pages link to Asymptotics and random sampling for BCI and BCK lambda terms (Q391429):
Displaying 13 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)
- Connected chord diagrams and bridgeless maps (Q2278114) (← links)
- Statistical properties of lambda terms (Q2327214) (← links)
- (Q4625697) (← links)
- Asymptotic Distribution of Parameters in Random Maps (Q4993535) (← links)
- (Q4993547) (← links)
- (Q5020970) (← 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)
- Linear lambda terms as invariants of rooted trivalent maps (Q5371978) (← links)
- Bijections between planar maps and planar linear normal \(\lambda\)-terms with connectivity condition (Q6044314) (← links)
- Exact-Size Sampling of Enriched Trees in Linear Time (Q6057780) (← links)