Ključne besede: matematika, polimorfni lambda račun, parametrični polimorfizem, denotacijska semantikaCelotno besedilo (datoteka, 394,21 KB)