pealkiri
Normaliseerimine läbi väärtustamise andmetüüpidele
Normalisation by evaluation for data types
autor
Maarand, Hendrik
märksõnad
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
juhendaja
Chapman, James
kaitsmiskuupäev
11.06.2014
keel
eng
asutus
Tallinna Tehnikaülikooli Küberneetika Instituut
Institute of Cybernetics at Tallinn University of Technology
teaduskond
Infotehnoloogia teaduskond
Faculty of Information Technology
allüksus
Tarkvarateaduse laboratoorium
Laboratory of Software Science