Some properties of random lambda terms - René David; Christophe Raffalli; Guillaume Theyssier; Katarzyna Grygiel; Jakub Kozik; Marek Zaionc (Log. Methods Comput. Sci., 2009)

Counting and generating lambda terms. - Katarzyna Grygiel; Pierre Lescanne (J. Funct. Program., 2013)

How big is BCI fragment of BCK logic. - Katarzyna Grygiel; Pawel M. Idziak; Marek Zaionc (J. Log. Comput., 2013)

Counting Terms in the Binary Lambda Calculus. - Katarzyna Grygiel; Pierre Lescanne (CoRR, 2014)

Asymptotic Properties of Combinatory Logic. - Maciej Bendkowski; Katarzyna Grygiel; Marek Zaionc (TAMC, 2015)

Counting and Generating Terms in the Binary Lambda Calculus (Extended version). - Katarzyna Grygiel; Pierre Lescanne (CoRR, 2015)

Counting and generating terms in the binary lambda calculus. - Katarzyna Grygiel; Pierre Lescanne (J. Funct. Program., 2015)

A Natural Counting of Lambda Terms. - Maciej Bendkowski; Katarzyna Grygiel; Pierre Lescanne; Marek Zaionc (SOFSEM, 2016)

Combinatorics of λ-terms: a natural approach. - Maciej Bendkowski; Katarzyna Grygiel; Pierre Lescanne; Marek Zaionc (CoRR, 2016)

On the likelihood of normalisation in combinatory logic. - Maciej Bendkowski; Katarzyna Grygiel; Marek Zaionc (CoRR, 2016)

Boltzmann Samplers for Closed Simply-Typed Lambda Terms. - Maciej Bendkowski; Katarzyna Grygiel; Paul Tarau (PADL, 2017)

Combinatorics of $$ lambda$$-terms: a natural approach. - Maciej Bendkowski; Katarzyna Grygiel; Pierre Lescanne; Marek Zaionc (J. Log. Comput., 2017)

On the likelihood of normalization in combinatory logic. - Maciej Bendkowski; Katarzyna Grygiel; Marek Zaionc (J. Log. Comput., 2017)

Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers. - Maciej Bendkowski; Katarzyna Grygiel; Paul Tarau (Theory Pract. Log. Program., 2018)

Unary profile of lambda terms with restricted De Bruijn indices. - Katarzyna Grygiel; Isabella Larcher (Discret. Math. Theor. Comput. Sci., 2021)