Herná sémantika funkcionálneho jazyka na báze výpočtových arén
Author
Katarína Sirotská
Supervisor
prof. Ing. Valerie Novitzká, PhD.