dr Katarzyna Grygiel

Unary profile of lambda terms with restricted De Bruijn indices, Discrete Mathematics and Theoretical Computer Science vol. 22(3) (2021), 19

Random generation of closed simply-typed λ-terms: a synergy between logic programming and Boltzmann samplers, Theory and Practice of Logic Programming vol. 18(1) (2018), 97-119

Combinatorics of λ-terms: a natural approach, Journal of Logic and Computation vol. Volume 27, Issue 8 (2017), 2611–2630

Boltzmann Samplers for Closed Simply-Typed Lambda Terms, Lecture Notes in Computer Science vol. 10137 (2017), 120-135

On the likelihood of normalisation in combinatory logic, Journal of Logic and Computation vol. Volume 27, Issue 7 (2017), 2251–2269

A natural counting of lambda terms, Lecture Notes in Computer Science vol. 9587 (2016), 183-194

Counting and generating terms in the binary lambda calculus, Journal of Functional Programming vol. 25 (2015), 25

Counting Terms in the Binary Lambda Calculus, Dmtcs Proceedings - 25th International Conference On Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms vol. DMTCS-HAL Proceedings Series (2014), 13

A note on blocks of skeleton tolerances, Acta Mathematica Hungarica vol. 143(1) (2014), 176-184

Asymptotic properties of combinatory logic, Lecture Notes in Computer Science vol. 9076 (2013), 62-72

Counting and generating lambda terms, Journal of Functional Programming vol. 23(5) (2013), 594-628

Distributive lattices determined by weighted double skeletons, Algebra Universalis vol. 69(4) (2013), 313-326

Asymptotically almost all λ-terms are strongly normalizing, Logical Methods in Computer Science vol. 9 (1:02) (2013), 1-30

How big is BCI fragment of BCK logic, Journal of Logic and Computation vol. 23(3) (2013), 673-691

15th Workshop on Computational Logic and Applications, Uniwersytet Jagielloński, École polytechnique, Université Sorbonne Paris Nord, [on-line], [on-line], 2020-10-12 - 2020-10-13

Applications of Algebra in Logic and Computer Science XXIV, Uniwersytet Jana Długosza, Zakopane, Polska, 2020-03-09 - 2020-03-14

AofA: Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Centre International de Rencontres Mathématiques, Marsylia, Francja, 2019-07-24 - 2019-07-28

14th Workshop on Computational Logic and Applications, University of Versailles Saint-Quentin, Paryż, Republika Francuska, 2019-07-01 - 2019-07-02

ALEA Young, Université de Caen, Domaine de la Tour, Francja, 2019-05-19 - 2019-05-24

AAA97 - 97th Workshop on General Algebra, Technische Universität Wien, Wiedeń, Austria, 2019-03-01 - 2019-03-03

AEC Algorithmic and Enumerative Combinatorics Summer School, Johannes Kepler University, Hagenberg, Austria, 2018-07-30 - 2018-08-03

11th Workshop on Computational Logic and Applications, Laboratoire d'Informatique de Paris-Nord oraz Laboratoire d'Informatique de Paris 6, Paryż, Francja, 2018-05-24 - 2018-05-25

10th Workshop Computational Logic and Applications, Chalmers University of Technology, Göteborg, Szwecja, 2017-05-18 - 2017-05-19

Applications of Algebra in Logic and Computer Science XXI, Akademia im. Jana Długosza w Częstochowie, Zakopane, Polska, 2017-03-20 - 2017-03-25

9th Workshop Computational Logic and Applications, University of Novi Sad, Nowy Sad, Serbia, 2016-05-26 - 2016-05-27

Applications of Algebra XX, Institute of Mathematics and Computer Science of Jan Długosz University, Zakopane, Polska, 2016-03-07 - 2016-03-13

42nd International Conference on Current Trends in Theory and Practice of Computer Science, Institute of Computer Science Academy of Sciences of the Czech Republic, Harrachov, Republika Czeska, 2016-01-23 - 2016-01-28

12th Annual Conference on Theory and Applications of Models of Computation, 18 - 20 May 2015 School of Computing National University of Singapore, Singapur, Singapur, 2015-05-18 - 2015-05-22

Computational Logic and Applications, Marek Zaionc (Jagiellonian University) and Pierre Lescanne (ENS de Lyon), Lyon, Francja, 2015-03-23 - 2015-03-24

25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, Université Pierre et Marie Curie, Paryż, Francja, 2014-06-16 - 2014-06-20

27th International Conference on Probabilistic, Combinatorialand Asymptotic Methods for the Analysis of AlgorithmsKraków, Poland, July 4–8, 2016, Kraków, 2016-07-04, 2016-07-08

Research in Adaptive and Convergent Systems (RACS 2017), Kraków, 2017-09-20, 2017-09-23

15th Workshop on Computational Logic and Applications, [on-line], 2020-10-12, 2020-10-13

17th workshop on Computational Logic and Applications , Kraków (hybrid), 2023-12-14, 2023-12-15