Katarzyna Grygiel
dr
fax (+48-12) 664 66 72
email
adres Łojasiewicza 6, 30-348 Kraków
pokój 3061
dyżur wtorek 16-17, piątek 14-15
Proszę wcześniej skontaktować się mailowo.

Praca magisterska

Zliczanie termów w nietypowanym rachunku lambda

Praca doktorska

Asymptotic properties of lambda-calculus and combinatory logic

Krótkie CV

2007 MSc (Mathematics) Jagiellonian University Kraków
2013 PhD (Computer Science) Jagiellonian University Kraków