ITMO University, Computer Technologies chair
Location:Saint-Petersburg, Russia
Homework for translation methods course in ITMO
Notes for type theory course