Marek Zaionc
Back to the main page
- 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.