Najważniejsze publikacje
- Katarzyna Grygiel, Isabella Larcher, Unary profile of lambda terms with restricted De Bruijn indices, Discrete Mathematics and Theoretical Computer Science 22(3) (2021), 19
- Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc, On the likelihood of normalisation in combinatory logic, Journal of Logic and Computation Volume 27, Issue 7 (2017), 2251–2269
- Katarzyna Grygiel, Pierre Lescanne, Counting and generating terms in the binary lambda calculus, Journal of Functional Programming 25 (2015), 25
- Katarzyna Grygiel, Pierre Lescanne, Counting and generating lambda terms, Journal of Functional Programming 23(5) (2013), 594-628
- Rene David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier, , Marek Zaionc, Asymptotically almost all λ-terms are strongly normalizing, Logical Methods in Computer Science 9 (1:02) (2013), 1-30
Najnowsze publikacje
- Katarzyna Grygiel, Isabella Larcher, Unary profile of lambda terms with restricted De Bruijn indices, Discrete Mathematics and Theoretical Computer Science 22(3) (2021), 19
- Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau, Random generation of closed simply-typed λ-terms: a synergy between logic programming and Boltzmann samplers, Theory and Practice of Logic Programming 18(1) (2018), 97-119
- Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc, Combinatorics of λ-terms: a natural approach, Journal of Logic and Computation Volume 27, Issue 8 (2017), 2611–2630
- Maciej Bendkowski, Katarzyna Grygiel, Paul Tarau, Boltzmann Samplers for Closed Simply-Typed Lambda Terms, Lecture Notes in Computer Science 10137 (2017), 120-135
- Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc, On the likelihood of normalisation in combinatory logic, Journal of Logic and Computation Volume 27, Issue 7 (2017), 2251–2269
Katarzyna Grygiel
stopień/tytuł doktor stanowiskobadawczo-dydaktyczne, adiunkt
jednostka
- Katedra Podstaw Informatyki
- Instytut Informatyki Analitycznej
katarzyna.grygiel@uj.edu.pl