Marek Zaionc

Back to the main page

PRESENT:

• Agnieszka Łupińska,
  Jagiellonian University, Theoretical Science Science.
• Łukasz Lachowski,
  Jagiellonian University, Theoretical Science Science.
• Tomasz Kisielewski,
  Jagiellonian University, Theoretical Science Science.

• Maciej Bendkowski,
  Thesis: "Quantitative aspects and generation of random lambda and combinatory logic terms" (PhD Thesis)
  Jagiellonian University, Theoretical Science Science, December, 2017.
• Katarzyna Grygiel
  Thesis: "Asymptotic properties of lambda calculus and combinatory logic" (PhD Thesis)
  Jagiellonian University, Theoretical Science Science, May, 2013.
• Jaroslaw Duda
  Thesis: "Asymmetric Numeral Systems" (PhD Thesis)
  Jagiellonian University, Theoretical Science Science, October 2010.
• Jakub Kozik
  Thesis: "Decidability of relative density in Chomsky hierarchy of languages" (PhD Thesis)
  Jagiellonian University, Theoretical Computer Science, November 2006.
• Malgosia Moczurad
  Thesis: "Syntactic methods of proving properties of typed lambda calculus"  (PhD Thesis)
  Jagiellonian University, Computer Science Deptartment, 2000.