Táto bakalárska práca sa zaoberá návrhom a implementáciou
interaktívnej učebnej pomôcky určenej k napomáhaniu pochopenia
základných
princípov lambda kalkulu – formalizmu ktorý je nielen dôležitý
v oblasti teoretickej informatiky, ale aj aplikovateľný v
reálnych súčasných výpočetných systémoch.
Výsledkom tejto práce je online aplikácia prijímajúca
termy λ-kalkulu vložené používateľom, umožňujúca ich
vyhodnocovanie
podľa používateľom-zvolených kritérii, napríklad podľa
vyhodnocovacej stratégie alebo typového systému,
a poskytujúca niekoľko možností pre import a export.