undergraduate thesis
Foundations and programming implementations of lambda calculus

Maja Mihaljević (2015)
Josip Juraj Strossmayer University of Osijek
Faculty of Electrical Engineering, Computer Science and Information Technology Osijek
Department of Core Courses
Chair of Mathematics and Physics