Herná sémantika funkcionálneho jazyka na báze výpočtových arén
Autor práce
Katarína Sirotská
Vedúci práce
prof. Ing. Valerie Novitzká, PhD.