Keywords: algebrajski učinki in njihovi prestrezniki, izpeljava tipov, eksplicitni tipiFull text (file, 883,84 KB)