About the competition
Prizes
Dates
Panel members
Evaluation of theses
Ambassadors
Photo gallery
How to apply
Results
Partners
For media
News
Download
Contact
Contact
en
cs
sk
Spustitelná formální sémantika jazyka Agda
Author
Andrej Tokarčík
Supervisor
Jan Obdržálek
About the project
Abstract
Thesis
Year
2015
Share
