The following pages link to Katarzyna Grygiel (Q2376303):
Displayed 14 items.
- (Q397015) (redirect page) (← links)
- A note on blocks of skeleton tolerances. (Q397016) (← links)
- Distributive lattices determined by weighted double skeletons (Q2376304) (← links)
- (Q2789550) (← links)
- A Natural Counting of Lambda Terms (Q2794357) (← links)
- Asymptotic Properties of Combinatory Logic (Q2948454) (← links)
- On the likelihood of normalization in combinatory logic (Q3133193) (← links)
- Combinatorics of $\lambda$-terms: a natural approach (Q4555458) (← links)
- Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers (Q4603430) (← links)
- Asymptotically almost all \lambda-terms are strongly normalizing (Q4913764) (← links)
- (Q5074776) (← links)
- How big is BCI fragment of BCK logic (Q5300586) (← links)
- Counting and generating terms in the binary lambda calculus (Q5371959) (← links)
- Counting and generating lambda terms (Q5398332) (← links)