Publikacje

• Unary profile of lambda terms with restricted De Bruijn indices - 2021
  Discrete Mathematics and Theoretical Computer Science 22(3) (2021), 19 Katarzyna Grygiel, Isabella Larcher
• Random generation of closed simply-typed λ-terms: a synergy between logic programming and Boltzmann samplers - 2018
  Theory and Practice of Logic Programming 18(1) (2018), 97-119 Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
• Combinatorics of λ-terms: a natural approach - 2017
  Journal of Logic and Computation Volume 27, Issue 8 (2017), 2611–2630 Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
• Boltzmann Samplers for Closed Simply-Typed Lambda Terms - 2017
  Lecture Notes in Computer Science 10137 (2017), 120-135 Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau
• On the likelihood of normalisation in combinatory logic - 2017
  Journal of Logic and Computation Volume 27, Issue 7 (2017), 2251–2269 Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
• A natural counting of lambda terms - 2016
  Lecture Notes in Computer Science 9587 (2016), 183-194 Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc
• Counting and generating terms in the binary lambda calculus - 2015
  Journal of Functional Programming 25 (2015), 25 Katarzyna Grygiel, Pierre Lescanne
• Counting Terms in the Binary Lambda Calculus - 2014
  Dmtcs Proceedings - 25th International Conference On Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms DMTCS-HAL Proceedings Series (2014), 13 Katarzyna Grygiel, Pierre Lescanne
• A note on blocks of skeleton tolerances - 2014
  Acta Mathematica Hungarica 143(1) (2014), 176-184 Anetta Górnicka, Joanna Grygiel, Katarzyna Grygiel
• Asymptotic properties of combinatory logic - 2013
  Lecture Notes in Computer Science 9076 (2013), 62-72 Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc
• Counting and generating lambda terms - 2013
  Journal of Functional Programming 23(5) (2013), 594-628 Katarzyna Grygiel, Pierre Lescanne
• Distributive lattices determined by weighted double skeletons - 2013
  Algebra Universalis 69(4) (2013), 313-326 Gábor Czédli, Joanna Grygiel, Katarzyna Grygiel
• Asymptotically almost all λ-terms are strongly normalizing - 2013
  Logical Methods in Computer Science 9 (1:02) (2013), 1-30 Rene David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier, , Marek Zaionc
• How big is BCI fragment of BCK logic - 2013
  Journal of Logic and Computation 23(3) (2013), 673-691 Katarzyna Grygiel, Paweł Idziak, Marek Zaionc