title
Normaliseerimine läbi väärtustamise andmetüüpidele
Normalisation by evaluation for data types
author
Maarand, Hendrik
keywords
normaliseerimine
lambda-arvutus
semantika
sõltuvate tüüpidega programmeerimine
tüübiteooria
Agda
magistritööd
normalisation
lambda calculus
semantics
dependently typed programming
type theory
Agda
master's theses
supervisor
Chapman, James
defence date
11.06.2014
language
eng
institution
Tallinna Tehnikaülikooli Küberneetika Instituut
Institute of Cybernetics at Tallinn University of Technology
faculty
Infotehnoloogia teaduskond
Faculty of Information Technology
subunit
Tarkvarateaduse laboratoorium
Laboratory of Software Science