Pages that link to "Item:Q5194688"
From MaRDI portal
The following pages link to Lambda terms of bounded unary height (Q5194688):
Displaying 12 items.
- On the number of unary-binary tree-like structures with restrictions on the unary height (Q1745901) (← links)
- Some families of trees arising in permutation analysis (Q2185210) (← links)
- On some enumerative problems in lambda calculus (Q2202676) (← links)
- Asymptotic enumeration of compacted binary trees of bounded right height (Q2299626) (← links)
- Statistical properties of lambda terms (Q2327214) (← links)
- Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers (Q4603430) (← links)
- On the enumeration of closures and environments with an application to random generation (Q4972734) (← links)
- Deriving Efficient Sequential and Parallel Generators for Closed Simply-Typed Lambda Terms and Normal Forms (Q4988930) (← links)
- (Q4993337) (← 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)
