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

View

Available at the authorised workplace in the National Library of Estonia, Archival Library of the Estonian Literary Museum, Tallinn University of Technology Library, University of Tartu Library and Academic Library of Tallinn University

Available in the network of the National Library of Estonia

Available in public network

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

Author: Danel Ahman, University of Cambridge. Computer Laboratory, Eesti üliõpilaste teadustööde riiklik konkurss, Supervisor: Sam Staton

Technical data

Publisher:: University of Cambridge
Published:: 2012
Language:: English
Depositor:: Eesti Teadusagentuur SA

Type:: book

: Copyrighted
ESTER: b45448140

URL: http://www.digar.ee/id/nlib-digar:269049

Keywords

SEE ALSO

LLL2010 working paper ; 6 Tallinna Ülikool. Rahvusvaheliste ja Sotsiaaluuringute Instituut
Euroopa Pettustevastane Amet : 2007 aasta aruanne Euroopa Pettustevastane Amet, Euroopa Komisjon
The MARMONI approach to marine biodiversity indicators Volume I, Devel... Tartu Ülikool. Eesti mereinstituut
Development of thermal analysis tools for synchronous reluctance motor...
FinTech business models and their linkages with customers and founders... Ekaterina Koroleva, Tallinna Tehnikaülikool. Majandusteaduskond, Tallinna Tehnikaülikool. Ärikorralduse instituut
Business models in compliance with sulphur emissions control area regu... Eunice Omolola Olaniyi, Tallinna Tehnikaülikool. Ärikorralduse instituut
Tuberkuloosihaigestumus Eestis ; 2012 / 2013 Tuberkuloosiregister, Tervise Arengu Instituut. Tuberkuloosiregister, Eesti. Sotsiaalministeerium, Eesti Tuberkuloosiandmekogu, Põhja-Eesti Regionaalhaigla
Ruhnu ajaraamat. IV = Ruhnu chronicle. IV
The case of the talking animals Thor Castlebury
Aastaraamat = Yearbook ; 2001 Loodusajakiri (kirjastus), Keskkonnainvesteeringute Keskus
Development of parent involvement models for bilingual pre- and primar... Tartu Ülikool. Narva Kolledž, Helsingin yliopisto, Latvijas Universitāte
Narrow focus, broad vision : a strategic view of the Eastern Partnersh... Emmet C. Tuohy, Anna Bulakh, Rahvusvaheline Kaitseuuringute Keskus (Tallinn)
Tallinn. Facts & Figures ; 2016 Tallinna Ettevõtlusamet
Confessions of an ex-lawyer : all dark secrets of my battle with: eati... Eva Tenter
Music and environment : The Changing Face of Music Education (CFME09) ... rahvusvaheline konverents The Changing Face of Music Education (CFME09)
Goals Clement Portlander
Eesti kaubalaevastiku register = Estonian merchant fleet ; 1923 Eesti. Mereasjanduse Peavalitsus, Eesti. Veeteede Valitsus
Investigating the early signals of banking sector vulnerabilities in C... Kadri Männasoo, David G. Mayes, Eesti Pank
Pegasus
Ten Estonian novelists Eesti Kirjanduse Teabekeskus