Katarzyna Grygiel

Identifiers

• name variant Katarzyna Grygiel 0.60 · backfill

Papers (8)

1. Random generation of closed simply-typed $\lambda$-terms: a synergy between logic programming and Boltzmann samplers cs.LO · 2016 · author #2
2. Combinatorics of $\lambda$-terms: a natural approach cs.LO · 2016 · author #2
3. On the likelihood of normalisation in combinatory logic cs.LO · 2016 · author #2
4. Counting Terms in the Binary Lambda Calculus cs.LO · 2014 · author #1
5. Distributive lattices determined by weighted double skeletons math.RA · 2012 · author #3
6. Counting and generating lambda terms cs.LO · 2012 · author #1
7. How big is BCI fragment of BCK logic cs.LO · 2011 · author #1
8. Asymptotically almost all \lambda-terms are strongly normalizing math.LO · 2009 · author #2

Mentions

• 1401.0379 #1 · backfill · confidence 0.70 Katarzyna Grygiel
• 1210.3520 #3 · backfill · confidence 0.70 Katarzyna Grygiel
• 1210.2610 #1 · backfill · confidence 0.70 Katarzyna Grygiel
• 1112.0643 #1 · backfill · confidence 0.70 Katarzyna Grygiel
• 0903.5505 #2 · backfill · confidence 0.70 Katarzyna Grygiel

Frequent Coauthors

• Marek Zaionc 4 shared papers
• Maciej Bendkowski 3 shared papers
• Pierre Lescanne (LIP) 2 shared papers
• Christophe Raffalli (LAMA) 1 shared papers
• G\'abor Cz\'edli 1 shared papers
• Guillaume Theyssier (LAMA) 1 shared papers
• Jakub Kozic 1 shared papers
• Joanna Grygiel 1 shared papers
• Paul Tarau 1 shared papers
• Pawel M. Idziak 1 shared papers
• Pierre Lescanne 1 shared papers
• Ren\'e David (LAMA) 1 shared papers