Pages that link to "Item:Q4555458"
From MaRDI portal
The following pages link to Combinatorics of $\lambda$-terms: a natural approach (Q4555458):
Displaying 15 items.
- Asymptotics and random sampling for BCI and BCK lambda terms (Q391429) (← links)
- Enumeration of generalized BCI lambda-terms (Q396960) (← links)
- Lambda terms definable as combinators (Q1349878) (← links)
- On uniquely closable and uniquely typable skeletons of lambda terms (Q1671157) (← links)
- On the number of unary-binary tree-like structures with restrictions on the unary height (Q1745901) (← links)
- On counting untyped lambda terms (Q1944777) (← links)
- On some enumerative problems in lambda calculus (Q2202676) (← links)
- Analytic combinatorics of lattice paths with forbidden patterns, the vectorial kernel method, and generating functions for pushdown automata (Q2292858) (← links)
- Statistical properties of lambda terms (Q2327214) (← links)
- On the likelihood of normalization in combinatory logic (Q3133193) (← links)
- <i>Theoretical Pearls</i>Enumerators of lambda terms are reducing (Q4763984) (← links)
- On the enumeration of closures and environments with an application to random generation (Q4972734) (← links)
- Counting environments and closures (Q4993337) (← links)
- Distribution of variables in lambda-terms with restrictions on De Bruijn indices and De Bruijn levels (Q5210975) (← links)
- Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers (Q5886342) (← links)
