Kättesaadav autoriseeritud töökohal Eesti Rahvusraamatukogus, Eesti Kirjandusmuuseumi Arhiivraamatukogus, Tallinna Tehnikaülikooli Raamatukogus, Tartu Ülikooli Raamatukogus ja Tallinna Ülikooli Akadeemilises Raamatukogus
Kättesaadav Eesti Rahvusraamatukogu sisevõrgus
Kättesaadav välisvõrgus
Computational effects, algebraic theories and normalization by evaluation : a dissertation submitted to the University of Cambridge ... for the degree of master of philosophy in advanced computer science
Autor: Danel Ahman, University of Cambridge. Computer Laboratory, Eesti üliõpilaste teadustööde riiklik konkurss, Juhendaja: Sam Staton
Vaata
