Ključne besede: matematika, programski jeziki, sistem tipov, lambda račun, lambda račun z enostavnimi tipiCelotno besedilo (datoteka, 293,61 KB)