Keywords: matematika, programski jeziki, sistem tipov, lambda račun, lambda račun z enostavnimi tipiFull text (file, 293,61 KB)