Spustitelná formální sémantika jazyka Agda
Autor práce
Andrej Tokarčík
Masarykova univerzita v Brně, Fakulta informatiky
Vedoucí práce
Jan Obdržálek