Katarzyna Grygiel

19 papers B 1C 2Journal 16
YearRankTypeTitle / Venue / Authors
2021 J jnl
Unary profile of lambda terms with restricted De Bruijn indices.
Discret. Math. Theor. Comput. Sci.
Katarzyna Grygiel, Isabella Larcher
2018 J jnl
Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers.
Theory Pract. Log. Program.
Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
2017 C conf
Boltzmann Samplers for Closed Simply-Typed Lambda Terms.
PADL
Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
2017 J jnl
Combinatorics of $$\lambda$$-terms: a natural approach.
J. Log. Comput.
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
2017 J jnl
On the likelihood of normalization in combinatory logic.
J. Log. Comput.
Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
2016 B conf
A Natural Counting of Lambda Terms.
SOFSEM
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
2016 J jnl
Combinatorics of λ-terms: a natural approach.
CoRR
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
2016 J jnl
On the likelihood of normalisation in combinatory logic.
CoRR
Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
2016 J jnl
Random generation of closed simply-typed $λ$-terms: a synergy between logic programming and Boltzmann samplers.
CoRR
Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
2015 J jnl
A natural counting of Lambda terms.
CoRR
Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
2015 C conf
Asymptotic Properties of Combinatory Logic.
TAMC
Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
2015 J jnl
Counting and Generating Terms in the Binary Lambda Calculus (Extended version).
CoRR
Katarzyna Grygiel, Pierre Lescanne
2015 J jnl
Counting and generating terms in the binary lambda calculus.
J. Funct. Program.
Katarzyna Grygiel, Pierre Lescanne
2014 J jnl
Counting Terms in the Binary Lambda Calculus.
CoRR
Katarzyna Grygiel, Pierre Lescanne
2013 J jnl
Counting and generating lambda terms.
J. Funct. Program.
Katarzyna Grygiel, Pierre Lescanne
2013 J jnl
How big is BCI fragment of BCK logic.
J. Log. Comput.
Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc
2012 J jnl
Counting and generating lambda terms
CoRR
Katarzyna Grygiel, Pierre Lescanne
2011 J jnl
How big is BCI fragment of BCK logic
CoRR
Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc
2009 J jnl
Some properties of random lambda terms
Log. Methods Comput. Sci.
René David, Christophe Raffalli, Guillaume Theyssier, Katarzyna Grygiel, Jakub Kozik, Marek Zaionc