pealkiri
Normaliseerimine läbi väärtustamise andmetüüpidele
Normalisation by evaluation for data types
märksõnad
lambda-arvutus
semantika
sõltuvate tüüpidega programmeerimine
normalisation
lambda calculus
dependently typed programming
kaitsmiskuupäev
keel
allüksus
Tarkvarateaduse laboratoorium
Laboratory of Software Science