Skip to main content
high contrast version
pl polski menu
"

Breadcrumb Breadcrumb

Web Content Display Web Content Display

Most significant publications

  • 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

Recent publications

  • 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
avatar for Katarzyna Grygiel

Katarzyna Grygiel

academic degree/title Doctor of Philosophy (PhD) position
research and faculty staff member group, assistant professor
unit
  • Foundations of Computer Science
  • Theoretical Computer Science
contact
katarzyna.grygiel@uj.edu.pl