Spustitelná formální sémantika jazyka Agda

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

O projektu

Ročník

2015

Sdílet tuto práci