Interpret lambda-výrazov - Kuzár, Tomáš (STU v Bratislave FIIT, 2006)