Theoretical Computer Science flagPL flagEN
Faculty of Mathematics and Computer Science
Jagiellonian University
    informatyka analityczna  
UJ coat of arms
Foundations of Computer Science

Katarzyna Grygiel


fax: (+48-12) 664 66 72
email: email
office: ul. Łojasiewicza 6, 30-348 Kraków
room: 3151
office hours: Thursday 11:00 - 12:00
Friday 11:00 - 12:00

selected publications
  • M. Bendkowski, K. Grygiel, M. Zaionc
    Asymptotic Properties of Combinatory Logic
    Theory and Applications of Models of Computation, Lecture Notes in Computer Science Vol. 9076, 2015, pp. 62-72
  • K. Grygiel, P. Lescanne
    Counting Terms in the Binary Lambda Calculus
    25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, June 2014, Paris, France, 2014, Discrete Mathematics & Theoretical Computer Science, pp. 13
  • A. Górnicka, J. Grygiel, K. Grygiel
    A note on blocks of skeleton tolerances
    Acta Mathematica Hungarica Vol. 143(1) 2014, pp. 176-184
  • G. Czédli, J. Grygiel, K. Grygiel
    Distributive lattices determined by weighted double skeletons
    Algebra Universalis Vol. 69(4) 2013, pp. 313-326
  • R. David, K. Grygiel, J. Kozik, Ch. Raffalli, G. Theyssier, M. Zaionc
    Asymptotically almost all lambda terms are strongly normalizing
    Logical Methods in Computer Science Vol. 9(1:02) 2013, pp. 1-30
  • K. Grygiel, P. Lescanne
    Counting and generating lambda terms
    Journal of Functional Programming Vol. 23(5) 2013, pp. 594-628
  • K. Grygiel, P.M. Idziak, M. Zaionc
    How big is BCI fragment of BCK logic?
    Journal of Logic and Computation Vol. 23(3) 2013, pp. 673-691

  • grants
    2009 - 2012 Quantitative study in logics and computation theory
      Ministry of Science and Higher Education
      N206 3761 37
    2011 - 2012 Quantitative logic
      Ministry of Science and Higher Education,
    2014 - 2017 Asymptotic methods in lambda calculus and combinatory logic

    short cv
    2007MSc (Mathematics)Jagiellonian UniversityKrakow, Poland
    2013PhD (Computer Science)Jagiellonian UniversityKrakow, Poland
    2013-Post-docJagiellonian UniversityKrakow, Poland
      webmaster: email = a@b, a=www-tcs,