Katarzyna Grygiel
dr
fax (+48-12) 664 66 72
email
address Łojasiewicza 6, 30-348 Kraków
room 3061
office hours czwartki 12-13
piątki 14-15
www private

Master Thesis

Zliczanie termów w nietypowanym rachunku lambda

PhD Thesis

Asymptotic properties of lambda-calculus and combinatory logic

Short CV

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