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 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

Technical data

Publisher:
University of Cambridge
Published:
Language:
English
Depositor:
Eesti Teadusagentuur SA
Type:
book
Copyrighted
ESTER
b45448140

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

Keywords

SEE ALSO