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
Смотреть Смотреть

Доступен на авторизованном компьютере Национальной библиотеки Эстонии, Архивной библиотеки Эстонского литературного музея, библиотеки Таллиннского технического университета, библиотеки Тартуского университета u Академической библиотеки Таллиннского университета

Доступно в сети Национальной библиотеки Эстонии

Открытый доступ предоставляется

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

технические данные

Издатель:
University of Cambridge
Год издания:
Язык:
aнглийский
Депозитор:
Eesti Teadusagentuur SA
Тип:
книга
Защищены авторским правом
ESTER
b45448140

Ссылка: http://www.digar.ee/id/nlib-digar:269049

СМОТРИ ТАКЖЕ